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 |
EventuallyNode
EventuallyNode is a node class of the formula tree denoting the eventually
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.
|