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());
}
