Uses of Interface
net.automatalib.automaton.FiniteAlphabetAutomaton
-
Packages that use FiniteAlphabetAutomaton Package Description net.automatalib.automaton This package (including sub-packages) contains the basic classes concerning automata.net.automatalib.automaton.base net.automatalib.automaton.fsa net.automatalib.automaton.transducer net.automatalib.automaton.transducer.probabilistic net.automatalib.serialization.taf.parser net.automatalib.serialization.taf.writer net.automatalib.ts.modal -
-
Uses of FiniteAlphabetAutomaton in net.automatalib.automaton
Subinterfaces of FiniteAlphabetAutomaton in net.automatalib.automaton Modifier and Type Interface Description interface
UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP>
Classes in net.automatalib.automaton that implement FiniteAlphabetAutomaton Modifier and Type Class Description class
UniversalCompactDet<I,SP,TP>
A default implementation forAbstractCompactDeterministic
that usesCompactTransition
as transition type and supports various types of state and transition properties.class
UniversalCompactSimpleDet<I,SP>
AAbstractCompactSimpleDeterministic
-based implementation for automata that need to store generic state properties. -
Uses of FiniteAlphabetAutomaton in net.automatalib.automaton.base
Classes in net.automatalib.automaton.base that implement FiniteAlphabetAutomaton Modifier and Type Class Description class
AbstractCompact<I,T,SP,TP>
Abstract super class for compact automata representations.class
AbstractCompactDeterministic<I,T,SP,TP>
Abstract super class that refinesAbstractCompact
for deterministic automata.class
AbstractCompactSimpleDeterministic<I,SP>
Abstract super class that refinesAbstractCompactDeterministic
for transition-property-less automata.class
AbstractCompactSimpleNondet<I,SP>
Abstract super class that refinesAbstractCompact
for transition-property-less automata.class
AbstractFastMutable<S extends AbstractFastState<?>,I,T,SP,TP>
Shared functionality for (non-) deterministic mutable automata.class
AbstractFastMutableDet<S extends AbstractFastState<T>,I,T,SP,TP>
class
AbstractFastMutableNondet<S extends AbstractFastState<Collection<T>>,I,T,SP,TP>
-
Uses of FiniteAlphabetAutomaton in net.automatalib.automaton.fsa
Classes in net.automatalib.automaton.fsa that implement FiniteAlphabetAutomaton Modifier and Type Class Description class
CompactDFA<I>
class
CompactNFA<I>
class
FastDFA<I>
class
FastNFA<I>
-
Uses of FiniteAlphabetAutomaton in net.automatalib.automaton.transducer
Classes in net.automatalib.automaton.transducer that implement FiniteAlphabetAutomaton Modifier and Type Class Description class
CompactMealy<I,O>
class
CompactMoore<I,O>
class
CompactSST<I,O>
class
FastMealy<I,O>
A fast implementation of a Mealy machine.class
FastMoore<I,O>
A fast implementation of a Moore automaton. -
Uses of FiniteAlphabetAutomaton in net.automatalib.automaton.transducer.probabilistic
Classes in net.automatalib.automaton.transducer.probabilistic that implement FiniteAlphabetAutomaton Modifier and Type Class Description class
FastProbMealy<I,O>
-
Uses of FiniteAlphabetAutomaton in net.automatalib.serialization.taf.parser
Methods in net.automatalib.serialization.taf.parser that return FiniteAlphabetAutomaton Modifier and Type Method Description static FiniteAlphabetAutomaton<?,String,?>
TAFParser. parseAny(File file, TAFParseDiagnosticListener listener)
static FiniteAlphabetAutomaton<?,String,?>
TAFParser. parseAny(InputStream stream, TAFParseDiagnosticListener listener)
static FiniteAlphabetAutomaton<?,String,?>
TAFParser. parseAny(Reader reader, TAFParseDiagnosticListener listener)
static FiniteAlphabetAutomaton<?,String,?>
TAFParser. parseAny(String string, TAFParseDiagnosticListener listener)
-
Uses of FiniteAlphabetAutomaton in net.automatalib.serialization.taf.writer
Methods in net.automatalib.serialization.taf.writer with parameters of type FiniteAlphabetAutomaton Modifier and Type Method Description static <I> void
TAFWriter. writeAny(FiniteAlphabetAutomaton<?,I,?> automaton, Appendable out)
-
Uses of FiniteAlphabetAutomaton in net.automatalib.ts.modal
Subinterfaces of FiniteAlphabetAutomaton in net.automatalib.ts.modal Modifier and Type Interface Description interface
ModalTransitionSystem<S,I,T,TP extends ModalEdgeProperty>
A modal transition system is aUniversalAutomaton
in which transitions can be marked asmay
ormust
edges.interface
MutableModalTransitionSystem<S,I,T,TP extends MutableModalEdgeProperty>
A mutable version ofModalTransitionSystem
that allows to add states and transitions.Classes in net.automatalib.ts.modal that implement FiniteAlphabetAutomaton Modifier and Type Class Description class
AbstractCompactMTS<I,T,TP extends MutableModalEdgeProperty>
An abstract base-implementation forMutableModalTransitionSystem
s.class
CompactMTS<I>
-