Modifier and Type | Method and Description |
---|---|
int |
compute()
Compute the integer value of an expression.
|
Term |
engine()
Process the rules and get back the simplified expression.
|
boolean |
isComputable()
Test if the expression is computable.
|
boolean |
isUnit()
Test if unit.
|
boolean |
isZero()
Test if zero.
|
Term |
oneReduction()
Process one step of simplification.
|
java.lang.String |
toString()
External representation.
|
java.lang.String toString()
toString
in class java.lang.Object
int compute()
boolean isZero()
boolean isUnit()
boolean isComputable()
Term oneReduction()
Term engine()