public void Statement1() { var a = new Variable(Set.Reals, TermName.a); var zero = new Element(Set.Reals, TermName.zero); var pair1 = new TermPair(a, zero, TermRelation.GreaterThan); var stat = new Statement(pair1).WithQuant(a, Quantifier.ForAll); }
public void TermPairToString() { var a = new Variable(Set.Reals, TermName.a); var zero = new Element(Set.Reals, TermName.zero); var pair1 = new TermPair(a, zero, TermRelation.GreaterThan); Assert.AreEqual("a GreaterThan zero", pair1.ToString()); }