C# (CSharp) LogiCal STElement.ExistsContradiction Beispiele

Beispiel #1

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

Beispiel #2

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