org.processmining.ltl2automaton.plugins

Interfaces

• AutomatonFactory

Classes

• LTL2Automaton
• SinglePropertyGraph