Uses of Class
org.processmining.ltl2automaton.plugins.automaton.DFAOperations

Packages that use DFAOperations

Package	Description
org.processmining.ltl2automaton.plugins.automaton

Uses of DFAOperations in org.processmining.ltl2automaton.plugins.automaton

Methods in org.processmining.ltl2automaton.plugins.automaton that return DFAOperations

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