Package | Description |
---|---|
org.processmining.plugins.ltlchecker.util |
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) |
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.
|