Class ArithExpr

All Implemented Interfaces:
LogicalFormula, NumberTerm, Term, ToDOM, ToJson, java.io.Serializable, java.lang.Cloneable, java.lang.Comparable<Term>

public class ArithExpr
extends ArithFunctionTerm
implements NumberTerm
Represents and solve arithmetic expressions like "10 + 30".
See Also:
Serialized Form