public override string ToString()
{
string op;
switch (Operation)
{
case NumBinOps.Add:
op = " + ";
break;
case NumBinOps.Mul:
op = " * ";
break;
default:
op = "";
break;
}
return("(" + Left.ToString() + op + Right.ToString() + ")");
}
public override string ToString()
{
string rel;
switch (Relation)
{
case NumRels.GT:
rel = " > ";
break;
case NumRels.LT:
rel = " < ";
break;
case NumRels.EQ:
rel = " == ";
break;
case NumRels.NEQ:
rel = " != ";
break;
case NumRels.GTE:
rel = " >= ";
break;
case NumRels.LTE:
rel = " <= ";
break;
default:
rel = "";
break;
}
return("(" + Left.ToString() + rel + Right.ToString() + ")");
}
public override string ToString()
{
return("Exists " + VariableName + " < " + Bound.ToString() + ". " + Predicate.ToString());
}