Esempi in C# (CSharp) per LogiCal STElement.IsClosed

Esempio n. 1

 public bool IsClosed()
 {
     if (leftNode != null)
     {
         if (rightNode != null)
         {
             return(leftNode.IsClosed() && rightNode.IsClosed());
         }
         return(leftNode.IsClosed());
     }
     return(ExistsContradiction());
 }

Esempio n. 2

File: ST.cs Progetto: fabestine1/MyThing

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