public class TreeBuilder
extends java.lang.Object
Constructor and Description |
---|
TreeBuilder(LTLParser parser,
java.lang.String formulaName,
SetsSet ss) |
Modifier and Type | Method and Description |
---|---|
TreeNode |
build(Node pNode,
Substitutes substs,
TreeNode binder)
Build an formulatree used in the LTLChecker from a (sub) parsetree, a
list with substitutions ( parameter values ) and a bindernode, that is,
the node some valuenodes are bounded to, to ensure formulareferention.
|
public TreeNode build(Node pNode, Substitutes substs, TreeNode binder)
pNode
- The subtree from the parser of the `selected' formula.substs
- A list with substitutions, that is, a list with values for the
parameters of pNode's formula.binder
- The operator of treenode to bind a valuenode to.