Package | Description |
---|---|
org.processmining.plugins.ltlchecker.formulatree | |
org.processmining.plugins.ltlchecker.util |
Modifier and Type | Class and Description |
---|---|
class |
AlwaysNode
AlwaysNode is a node class of the formula tree denoting the always operator.
|
class |
AndNode
AndNode is a node class of the formula tree denoting the and operator.
|
class |
BiimpliesNode
BiimpliesNode is a node class of the formula tree denoting the biimplies
operator.
|
class |
BinaryNode
BinaryNode is a node class of the formula tree denoting binary logic
operators, like and, or, until, etc.
|
class |
CompNode
CompNode is a node class of the formula tree denoting comparator operators,
like ==, ~=, <=, >=, etc.
|
class |
DateCompNode
DateCompNode is a node class of the formula tree denoting comparator
operators for dates: ==, !=, <=, >=, < and >.
|
class |
DateValueNode
DateValueNode is a representation of a string literal or attribute.
|
class |
EventuallyNode
EventuallyNode is a node class of the formula tree denoting the eventually
operator.
|
class |
ExistsNode
ExistsNode is a node class of the formula tree denoting the exists quantor.
|
class |
ForallNode
ForallNode is a node class of the formula tree denoting the for all quantor.
|
class |
FormulaNode
FormulaNode is the main class of the hierarchy of formula nodes to denote a
LTL formula.
|
class |
ImpliesNode
ImpliesNode is a node class of the formula tree denoting the implies
operator.
|
class |
NexttimeNode
NexttimeNode is a node class of the formula tree denoting the nexttime
operator.
|
class |
NotNode
NotNode is a node class of the formula tree denoting the not operator.
|
class |
NumberCompNode
NumberCompNode is a node class of the formula tree denoting comparator
operators for numbers: ==, !=, <=, >=, < and >.
|
class |
NumberValueNode
NumberValueNode is a representation of a number literal or attribute.
|
class |
OrNode
OrNode is a node class of the formula tree denoting the or operator.
|
class |
QuantorNode
QuantorNode is a node class of the formula tree denoting the quantors for all
and exists.
|
class |
RootNode
RootNode is used for binding formulae and values to the highest level of a
defined formula.
|
class |
SetCompNode
SetCompNode is a node class of the formula tree denoting comparator operators
for sets: ==, != and in.
|
class |
SetValueNode
SetValueNode is a representation of a set literal, attribute or set.
|
class |
StringCompNode
StringCompNode is a node class of the formula tree denoting comparator
operators for strings: ==, !=, ~=, <=, >=, < and >.
|
class |
StringValueNode
StringValueNode is a representation of a string literal or attribute.
|
class |
UnaryNode
UnaryNode is a node class of the formula tree denoting unary logic operators,
like not, always, etc.
|
class |
UntilNode
UntilNode is a node class of the formula tree denoting the until operator.
|
class |
ValueNode
ValueNode is the main class of the hierarchy of value nodes to denote a
value, eiter an number expression or an string literal, a set or a date.
|
Modifier and Type | Method and Description |
---|---|
TreeNode |
ValueNode.getBinder()
Get the binder of this value.
|
Modifier and Type | Method and Description |
---|---|
void |
ValueNode.setBinder(TreeNode binder)
Set the binder of this vale.
|
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.
|
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.
|