Package | Description |
---|---|
org.processmining.plugins.ltlchecker.parser |
Modifier and Type | Class and Description |
---|---|
class |
LTLParser
LTLParser is an parser for the LTL-language used in a LTL checking plugin for
the ProM framework.
|
class |
LTLParserTokenManager |