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