public class EvaluableExpressionSimplifier extends Object
|e| describes the number of e’s
inner expressions, this.simplify(e) will return an expression e1, such
that |e1| ≤ |e| and for any EvaluableVariableAssignment x
e.evaluate(x) = e1.evaluate(x).| Constructor and Description |
|---|
EvaluableExpressionSimplifier() |
| Modifier and Type | Method and Description |
|---|---|
EvaluableExpression |
simplify(EvaluableExpression expression)
Simplifies
expression. |
public EvaluableExpression simplify(EvaluableExpression expression)
expression.expression - An evaluable expression. Must not be null.expression. See the
class description for details. Might me expression itself.