Uses of Class
org.processmining.ltl2automaton.plugins.LTL2Automaton

Packages that use LTL2Automaton

Package	Description
org.processmining.ltl2automaton.plugins

Uses of LTL2Automaton in org.processmining.ltl2automaton.plugins

Methods in org.processmining.ltl2automaton.plugins that return LTL2Automaton

Modifier and Type	Method and Description
static LTL2Automaton	LTL2Automaton.getInstance()