Ejemplos de LogiCal STElement.Simplify en C# (CSharp)

Ejemplo n.º 1

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

Ejemplo n.º 2

Archivo: ST.cs Proyecto: fabestine1/MyThing

 public ST(Node proposition)
 {
     Root = new STElement(new HashSet <Node> {
         new NegationSign(proposition)
     }, new List <char>(), "");
     Root.Simplify();
     IsTautology = Root.IsClosed();
 }

Ejemplo n.º 3

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