Package | Description |
---|---|
org.processmining.plugins.ltlchecker.formulatree |
Modifier and Type | Class and Description |
---|---|
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.
|