Uses of Class
org.processmining.ltl2automaton.plugins.automaton.Automaton.Operations

Packages that use Automaton.Operations

Package	Description
org.processmining.ltl2automaton.plugins.automaton

Uses of Automaton.Operations in org.processmining.ltl2automaton.plugins.automaton

Subclasses of Automaton.Operations in org.processmining.ltl2automaton.plugins.automaton

Modifier and Type	Class and Description
class	DeterministicAutomaton.DeterministicOperations

Fields in org.processmining.ltl2automaton.plugins.automaton declared as Automaton.Operations

Modifier and Type	Field and Description
Automaton.Operations	Automaton.op