Uses of Package
org.processmining.ltl2automaton.plugins.automaton

Packages that use org.processmining.ltl2automaton.plugins.automaton

Package	Description
org.processmining.ltl2automaton.plugins
org.processmining.ltl2automaton.plugins.automaton
org.processmining.ltl2automaton.plugins.formula.conjunction

Classes in org.processmining.ltl2automaton.plugins.automaton used by org.processmining.ltl2automaton.plugins

Class and Description
Automaton
DeterministicAutomaton Tagging subclass to distinguish between deterministic and non-deterministic autonmata
Transition
TransitionLabel

Classes in org.processmining.ltl2automaton.plugins.automaton used by org.processmining.ltl2automaton.plugins.automaton

Class and Description
Automaton
Automaton.Operations
DeterministicAutomaton Tagging subclass to distinguish between deterministic and non-deterministic autonmata
DeterministicAutomaton.DeterministicOperations
DFAOperations
NDFAOperations Operations on non-deterministic finite automata
State
Transition
TransitionLabel
TransitionMatrix

Classes in org.processmining.ltl2automaton.plugins.automaton used by org.processmining.ltl2automaton.plugins.formula.conjunction

Class and Description
Automaton