Uses of Class
org.processmining.ltl2automaton.plugins.automaton.DeterministicAutomaton.DeterministicOperations

Packages that use DeterministicAutomaton.DeterministicOperations

Package	Description
org.processmining.ltl2automaton.plugins.automaton

Uses of DeterministicAutomaton.DeterministicOperations in org.processmining.ltl2automaton.plugins.automaton

Fields in org.processmining.ltl2automaton.plugins.automaton declared as DeterministicAutomaton.DeterministicOperations

Modifier and Type	Field and Description
DeterministicAutomaton.DeterministicOperations	DeterministicAutomaton.op