Uses of Class
org.processmining.plugins.ltlchecker.util.Substitutes

Packages that use Substitutes

Package	Description
org.processmining.plugins.ltlchecker.util

Uses of Substitutes in org.processmining.plugins.ltlchecker.util

Methods in org.processmining.plugins.ltlchecker.util that return Substitutes

Modifier and Type	Method and Description
Substitutes	ParamData.getSubstitutes(LTLParser parser) The parameters of this table are used as values for the selected formula.
Substitutes	ParamTable.getSubstitutes(LTLParser parser)

Methods in org.processmining.plugins.ltlchecker.util with parameters of type Substitutes

Modifier and Type	Method and Description
TreeNode	TreeBuilder.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.