C# (CSharp) LogiCal STElement.Simplify Examples

Example #1

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

Example #2

File: ST.cs Project: fabestine1/MyThing

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

Example #3

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