Package org.processmining.ltl2automaton.plugins

Interface Summary

Interface	Description
AutomatonFactory

Class Summary

Class	Description
LTL2Automaton
SinglePropertyGraph