Package | Description |
---|---|
org.processmining.plugins.ltlchecker.formulatree |
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 |
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 |
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 |
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 |
SetCompNode
SetCompNode is a node class of the formula tree denoting comparator operators
for sets: ==, != and in.
|
class |
StringCompNode
StringCompNode is a node class of the formula tree denoting comparator
operators for strings: ==, !=, ~=, <=, >=, < and >.
|
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.
|
Modifier and Type | Method and Description |
---|---|
FormulaNode |
UnaryNode.getChild() |
FormulaNode |
RootNode.getFormula() |
FormulaNode |
BinaryNode.getLeftChild() |
FormulaNode |
BinaryNode.getRightChild() |
Modifier and Type | Method and Description |
---|---|
void |
QuantorNode.addChild(FormulaNode child)
Add a child node with the formula the child is.
|
void |
UnaryNode.setChild(FormulaNode child)
Set the child node with the formula the child is.
|
void |
RootNode.setFormula(FormulaNode formula) |
void |
BinaryNode.setLeftChild(FormulaNode child)
Set the left child node with the formula the child is.
|
void |
BinaryNode.setRightChild(FormulaNode child)
Set the right child node with the formula the child is.
|