Uses of Package
net.automatalib.automata

Packages that use net.automatalib.automata

Package	Description
net.automatalib.automata	This package contains the basic interfaces for automata.
net.automatalib.automata.concepts
net.automatalib.automata.fsa
net.automatalib.automata.graphs
net.automatalib.automata.transout
net.automatalib.automata.transout.probabilistic
net.automatalib.automata.visualization

Classes in net.automatalib.automata used by net.automatalib.automata

Class and Description
Automaton Basic interface for an automaton.
DeterministicAutomaton Basic interface for a deterministic automaton.
DeterministicAutomaton.FullIntAbstraction Interface for full integer abstractions of a DeterministicAutomaton.
DeterministicAutomaton.FullIntAbstraction.DefaultAbstraction
DeterministicAutomaton.IntAbstraction Base interface for integer abstractions of a DeterministicAutomaton.
DeterministicAutomaton.StateIntAbstraction Interface for state integer abstractions of a DeterministicAutomaton.
DeterministicAutomaton.StateIntAbstraction.DefaultAbstraction
FiniteAlphabetAutomaton
MutableAutomaton A mutable automaton.
MutableDeterministic Interface for a mutable deterministic automaton.
MutableDeterministic.FullIntAbstraction
MutableDeterministic.IntAbstraction
MutableDeterministic.StateIntAbstraction
ShrinkableAutomaton A mutable automaton that also supports destructive modifications, i.e., removal of states and transitions.
UniversalAutomaton A universal automaton is a generalized representation of automata, with a unified access to the properties of states and transitions.
UniversalDeterministicAutomaton A DeterministicAutomaton with state and transition properties.
UniversalDeterministicAutomaton.FullIntAbstraction Interface for full integer abstractions of a UniversalDeterministicAutomaton.
UniversalDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction
UniversalDeterministicAutomaton.IntAbstraction Base interface for integer abstractions of a UniversalDeterministicAutomaton.
UniversalDeterministicAutomaton.StateIntAbstraction Interface for state integer abstractions of a UniversalDeterministicAutomaton.
UniversalDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction

Classes in net.automatalib.automata used by net.automatalib.automata.concepts

Class and Description
Automaton Basic interface for an automaton.
DeterministicAutomaton Basic interface for a deterministic automaton.

Classes in net.automatalib.automata used by net.automatalib.automata.fsa

Class and 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 a unified access to the properties of states and transitions.
UniversalDeterministicAutomaton A DeterministicAutomaton with state and transition properties.

Classes in net.automatalib.automata used by net.automatalib.automata.graphs

Class and Description
Automaton Basic interface for an automaton.
UniversalAutomaton A universal automaton is a generalized representation of automata, with a unified access to the properties of states and transitions.

Classes in net.automatalib.automata used by net.automatalib.automata.transout

Class and 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 a unified access to the properties of states and transitions.
UniversalDeterministicAutomaton A DeterministicAutomaton with state and transition properties.

Classes in net.automatalib.automata used by net.automatalib.automata.transout.probabilistic

Class and Description
Automaton Basic interface for an automaton.
MutableAutomaton A mutable automaton.
UniversalAutomaton A universal automaton is a generalized representation of automata, with a unified access to the properties of states and transitions.

Classes in net.automatalib.automata used by net.automatalib.automata.visualization

Class and Description
Automaton Basic interface for an automaton.