Package | Description |
---|---|
org.processmining.plugins.ltlchecker.formulatree |
Modifier and Type | Class and Description |
---|---|
class |
DateCompNode
DateCompNode is a node class of the formula tree denoting comparator
operators for dates: ==, !=, <=, >=, < and >.
|
class |
NumberCompNode
NumberCompNode is a node class of the formula tree denoting comparator
operators for numbers: ==, !=, <=, >=, < and >.
|
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 >.
|