public class ExpressionBuilder
extends java.lang.Object
| Constructor and Description |
|---|
ExpressionBuilder() |
| Modifier and Type | Method and Description |
|---|---|
Expression |
and(Expression left,
Expression right)
Optimizations: f&&X->f, t&&X->X, X&&X->X, X&&!X->f
|
BoolConstExpression |
constant(java.lang.Boolean value)
Optimizations: static bool roots
|
Expression |
ifThenElse(Expression cond,
Expression truePath,
Expression falsePath) |
Expression |
not(Expression expr)
Optimizations: !(Bool)->(!Bool), !!X->X, !(X==Bool)->(X==!Bool)
|
Expression |
or(Expression left,
Expression right)
Optimizations: X||t->t, f||X->X, X||X->X, X||!X->t
|
public Expression not(Expression expr)
public Expression and(Expression left, Expression right)
public Expression or(Expression left, Expression right)
public BoolConstExpression constant(java.lang.Boolean value)
public Expression ifThenElse(Expression cond, Expression truePath, Expression falsePath)