Class | Description |
---|---|
AlwaysNode |
AlwaysNode is a node class of the formula tree denoting the always operator.
|
AndNode |
AndNode is a node class of the formula tree denoting the and operator.
|
BiimpliesNode |
BiimpliesNode is a node class of the formula tree denoting the biimplies
operator.
|
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.
|
DateCompNode |
DateCompNode is a node class of the formula tree denoting comparator
operators for dates: ==, !=, <=, >=, < and >.
|
DateValueNode |
DateValueNode is a representation of a string literal or attribute.
|
EventuallyNode |
EventuallyNode is a node class of the formula tree denoting the eventually
operator.
|
ExistsNode |
ExistsNode is a node class of the formula tree denoting the exists quantor.
|
ForallNode |
ForallNode is a node class of the formula tree denoting the for all quantor.
|
FormulaNode |
FormulaNode is the main class of the hierarchy of formula nodes to denote a
LTL formula.
|
ImpliesNode |
ImpliesNode is a node class of the formula tree denoting the implies
operator.
|
NexttimeNode |
NexttimeNode is a node class of the formula tree denoting the nexttime
operator.
|
NotNode |
NotNode is a node class of the formula tree denoting the not operator.
|
NumberCompNode |
NumberCompNode is a node class of the formula tree denoting comparator
operators for numbers: ==, !=, <=, >=, < and >.
|
NumberValueNode |
NumberValueNode is a representation of a number literal or attribute.
|
OrNode |
OrNode is a node class of the formula tree denoting the or operator.
|
QuantorNode |
QuantorNode is a node class of the formula tree denoting the quantors for all
and exists.
|
RootNode |
RootNode is used for binding formulae and values to the highest level of a
defined formula.
|
SetCompNode |
SetCompNode is a node class of the formula tree denoting comparator operators
for sets: ==, != and in.
|
SetValueNode |
SetValueNode is a representation of a set literal, attribute or set.
|
StringCompNode |
StringCompNode is a node class of the formula tree denoting comparator
operators for strings: ==, !=, ~=, <=, >=, < and >.
|
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.
|
UntilNode |
UntilNode is a node class of the formula tree denoting the until operator.
|
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.
|