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

Packages that use NDFAOperations

Package	Description
org.processmining.ltl2automaton.plugins.automaton

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

Subclasses of NDFAOperations in org.processmining.ltl2automaton.plugins.automaton

Modifier and Type	Class and Description
class	DFAOperations

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

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