Uses of Package
net.automatalib.automaton
-
Packages that use net.automatalib.automaton Package Description net.automatalib.automaton This package (including sub-packages) contains the basic classes concerning automata.net.automatalib.automaton.abstraction net.automatalib.automaton.concept net.automatalib.automaton.fsa net.automatalib.automaton.graph net.automatalib.automaton.procedural net.automatalib.automaton.transducer net.automatalib.automaton.transducer.probabilistic net.automatalib.automaton.visualization net.automatalib.modelchecking net.automatalib.ts This package (including sub-packages) contains the basic classes concerning transition systems.net.automatalib.ts.modal -
Classes in net.automatalib.automaton used by net.automatalib.automaton.concept Class Description Automaton Basic interface for an automaton.DeterministicAutomaton Basic interface for a deterministic automaton. -
Classes in net.automatalib.automaton used by net.automatalib.automaton.fsa Class Description Automaton Basic interface for an automaton.DeterministicAutomaton Basic interface for a deterministic automaton.MutableAutomaton A mutable automaton.MutableDeterministic Interface for a mutable deterministic automaton.UniversalAutomaton A universal automaton is a generalized representation of automata, with unified access to the properties of states and transitions.UniversalDeterministicAutomaton ADeterministicAutomaton
with state and transition properties. -
Classes in net.automatalib.automaton used by net.automatalib.automaton.graph Class Description Automaton Basic interface for an automaton.UniversalAutomaton A universal automaton is a generalized representation of automata, with unified access to the properties of states and transitions. -
Classes in net.automatalib.automaton used by net.automatalib.automaton.procedural Class Description UniversalDeterministicAutomaton ADeterministicAutomaton
with state and transition properties. -
Classes in net.automatalib.automaton used by net.automatalib.automaton.transducer Class Description Automaton Basic interface for an automaton.DeterministicAutomaton Basic interface for a deterministic automaton.MutableAutomaton A mutable automaton.MutableDeterministic Interface for a mutable deterministic automaton.UniversalAutomaton A universal automaton is a generalized representation of automata, with unified access to the properties of states and transitions.UniversalDeterministicAutomaton ADeterministicAutomaton
with state and transition properties. -
Classes in net.automatalib.automaton used by net.automatalib.automaton.transducer.probabilistic Class Description Automaton Basic interface for an automaton.MutableAutomaton A mutable automaton.UniversalAutomaton A universal automaton is a generalized representation of automata, with unified access to the properties of states and transitions. -
Classes in net.automatalib.automaton used by net.automatalib.automaton.visualization Class Description Automaton Basic interface for an automaton.UniversalDeterministicAutomaton ADeterministicAutomaton
with state and transition properties. -
Classes in net.automatalib.automaton used by net.automatalib.modelchecking Class Description Automaton Basic interface for an automaton.DeterministicAutomaton Basic interface for a deterministic automaton.UniversalAutomaton A universal automaton is a generalized representation of automata, with unified access to the properties of states and transitions.UniversalDeterministicAutomaton ADeterministicAutomaton
with state and transition properties. -
Classes in net.automatalib.automaton used by net.automatalib.ts Class Description Automaton Basic interface for an automaton. -
Classes in net.automatalib.automaton used by net.automatalib.ts.modal Class Description Automaton Basic interface for an automaton.FiniteAlphabetAutomaton MutableAutomaton A mutable automaton.UniversalAutomaton A universal automaton is a generalized representation of automata, with unified access to the properties of states and transitions.UniversalFiniteAlphabetAutomaton