| Package | Description |
|---|---|
| org.processmining.plugins.ltlchecker.formulatree | |
| org.processmining.plugins.ltlchecker.util |
| Class and Description |
|---|
| BinaryNode
BinaryNode is a node class of the formula tree denoting binary logic
operators, like and, or, until, etc.
|
| CompNode
CompNode is a node class of the formula tree denoting comparator operators,
like ==, ~=, <=, >=, etc.
|
| DateValueNode
DateValueNode is a representation of a string literal or attribute.
|
| FormulaNode
FormulaNode is the main class of the hierarchy of formula nodes to denote a
LTL formula.
|
| NumberValueNode
NumberValueNode is a representation of a number literal or attribute.
|
| QuantorNode
QuantorNode is a node class of the formula tree denoting the quantors for all
and exists.
|
| SetValueNode
SetValueNode is a representation of a set literal, attribute or set.
|
| StringValueNode
StringValueNode is a representation of a string literal or attribute.
|
| TreeNode
Main class for treenodes, for formula nodes as well as for valuenodes.
|
| UnaryNode
UnaryNode is a node class of the formula tree denoting unary logic operators,
like not, always, etc.
|
| 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.
|
| Class and Description |
|---|
| RootNode
RootNode is used for binding formulae and values to the highest level of a
defined formula.
|
| SetValueNode
SetValueNode is a representation of a set literal, attribute or set.
|
| TreeNode
Main class for treenodes, for formula nodes as well as for valuenodes.
|
| 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.
|