org.processmining.plugins.ltlchecker.util

Class TreeBuilder

java.lang.Object

org.processmining.plugins.ltlchecker.util.TreeBuilder

public class TreeBuilder
extends java.lang.Object

TreeBuilder builds a formula tree from a parsetree and the name of a formula.

Version:

0.2

Author:

HT de Beer

Constructor Summary

Constructors

Constructor and Description
TreeBuilder(LTLParser parser, java.lang.String formulaName, SetsSet ss)

Method Summary

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TreeBuilder

public TreeBuilder(LTLParser parser,
                   java.lang.String formulaName,
                   SetsSet ss)

Method Detail

build

public 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.

Parameters:

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.

Returns:

The startnode of the formulatree created from pNode, subst and binder.