Uses of Package
net.automatalib.automaton
-
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.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.probabilistic Class Description Automaton Basic interface for an automaton.FiniteAlphabetAutomaton MutableAutomaton A mutable automaton.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 unified access to the properties of states and transitions.UniversalFiniteAlphabetAutomaton -
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.brics 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.incremental.dfa Class Description Automaton Basic interface for an automaton. -
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.serialization.dot Class Description Automaton Basic interface for an automaton.AutomatonCreator MutableAutomaton A mutable automaton. -
Classes in net.automatalib.automaton used by net.automatalib.serialization.etf.writer Class Description Automaton Basic interface for an automaton. -
Classes in net.automatalib.automaton used by net.automatalib.serialization.saf Class Description 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.serialization.taf.parser Class Description FiniteAlphabetAutomaton -
Classes in net.automatalib.automaton used by net.automatalib.serialization.taf.writer Class Description Automaton Basic interface for an automaton.FiniteAlphabetAutomaton -
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 -
Classes in net.automatalib.automaton used by net.automatalib.util.automaton Class Description Automaton Basic interface for an automaton.DeterministicAutomaton Basic interface for a deterministic automaton.MutableDeterministic Interface for a mutable deterministic automaton.UniversalDeterministicAutomaton ADeterministicAutomaton
with state and transition properties. -
Classes in net.automatalib.automaton used by net.automatalib.util.automaton.builder Class Description CompactTransition MutableAutomaton A mutable automaton. -
Classes in net.automatalib.automaton used by net.automatalib.util.automaton.conformance Class Description UniversalDeterministicAutomaton ADeterministicAutomaton
with state and transition properties. -
Classes in net.automatalib.automaton used by net.automatalib.util.automaton.copy 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.util.automaton.cover Class Description DeterministicAutomaton Basic interface for a deterministic automaton. -
Classes in net.automatalib.automaton used by net.automatalib.util.automaton.equivalence Class Description Automaton Basic interface for an automaton.UniversalDeterministicAutomaton ADeterministicAutomaton
with state and transition properties. -
Classes in net.automatalib.automaton used by net.automatalib.util.automaton.minimizer.hopcroft Class Description AutomatonCreator MutableDeterministic Interface for a mutable deterministic automaton.UniversalDeterministicAutomaton ADeterministicAutomaton
with state and transition properties. -
Classes in net.automatalib.automaton used by net.automatalib.util.automaton.minimizer.paigetarjan Class Description AutomatonCreator MutableDeterministic Interface for a mutable deterministic automaton.UniversalDeterministicAutomaton ADeterministicAutomaton
with state and transition properties. -
Classes in net.automatalib.automaton used by net.automatalib.util.automaton.random Class Description AutomatonCreator MutableAutomaton A mutable automaton.MutableDeterministic Interface for a mutable deterministic automaton. -
Classes in net.automatalib.automaton used by net.automatalib.util.partitionrefinement Class Description AutomatonCreator MutableDeterministic Interface for a mutable deterministic automaton.UniversalDeterministicAutomaton ADeterministicAutomaton
with state and transition properties.UniversalDeterministicAutomaton.FullIntAbstraction Interface forfull integer abstractions
of aUniversalDeterministicAutomaton
. -
Classes in net.automatalib.automaton used by net.automatalib.util.ts.copy Class Description MutableAutomaton A mutable automaton. -
Classes in net.automatalib.automaton used by net.automatalib.util.ts.modal Class Description AutomatonCreator -
Classes in net.automatalib.automaton used by net.automatalib.visualization Class Description Automaton Basic interface for an automaton.