org.grinvin.conjecture.engine.apengine

Class ExpressionBuilder


public class ExpressionBuilder
extends java.lang.Object

Builds an Expression from a LabeledBinaryTree.

Note: this class is not thread safe.

Method Summary

Expression
buildExpression(LabeledBinaryTree tree, InvariantExpressionNode[] invariants)
Build an expression for the given tree.

Method Details

buildExpression

public Expression buildExpression(LabeledBinaryTree tree,
                                  InvariantExpressionNode[] invariants)
Build an expression for the given tree.