C# (CSharp) LogiCal STElement.ExistsContradictionの例

コード例 #1

 private void SimplifyChild(STElement left)
 {
     if (!leftNode.ExistsContradiction())
     {
         leftNode.Simplify();
     }
 }

コード例 #2

 private void SimplifyChilds(STElement left, STElement right)
 {
     if (!leftNode.ExistsContradiction())
     {
         leftNode.Simplify();
     }
     if (!rightNode.ExistsContradiction())
     {
         rightNode.Simplify();
     }
 }