org.processmining.ltl2automaton.plugins.ltl

Interfaces

• FormulaFactory

Classes

• LTLFormula
• Parser

Exceptions

• SyntaxParserException