Prev Class | Next Class | Frames | No Frames |
Summary: Nested | Field | Method | Constr | Detail: Nested | Field | Method | Constr |
java.lang.Object
org.grinvin.conjecture.engine.apengine.ExpressionBuilder
public class ExpressionBuilder
extends java.lang.Object
Expression
from a LabeledBinaryTree
.
Note: this class is not thread safe.
Method Summary | |
Expression |
|
public Expression buildExpression(LabeledBinaryTree tree, InvariantExpressionNode[] invariants)
Build an expression for the given tree.