Example #1
0
 protected bool TestEquals(BinaryFormulaTree other)
 {
     return(TestEquals(FirstChild, other.FirstChild) && TestEquals(SecondChild, other.SecondChild));
 }
 protected bool TestEquals(BinaryFormulaTree other)
 {
     return TestEquals(FirstChild, other.FirstChild) && TestEquals(SecondChild, other.SecondChild);
 }