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.