Package | Description |
---|---|
org.processmining.plugins.ltlchecker.formulatree |
Modifier and Type | Class and Description |
---|---|
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 |
ImpliesNode
ImpliesNode is a node class of the formula tree denoting the implies
operator.
|
class |
OrNode
OrNode is a node class of the formula tree denoting the or operator.
|
class |
UntilNode
UntilNode is a node class of the formula tree denoting the until operator.
|