Uses of Interface
net.automatalib.automaton.simple.SimpleAutomaton
-
Packages that use SimpleAutomaton Package Description net.automatalib.automaton This package (including sub-packages) contains the basic classes concerning automata.net.automatalib.automaton.base net.automatalib.automaton.concept net.automatalib.automaton.fsa net.automatalib.automaton.helper net.automatalib.automaton.simple net.automatalib.automaton.transducer net.automatalib.automaton.transducer.probabilistic net.automatalib.brics This package contains adapter classes for treating the Automaton objects from the BRICS library as AutomataLib models.net.automatalib.modelchecking net.automatalib.serialization.aut net.automatalib.serialization.automaton net.automatalib.ts This package (including sub-packages) contains the basic classes concerning transition systems.net.automatalib.ts.modal -
-
Uses of SimpleAutomaton in net.automatalib.automaton
Subinterfaces of SimpleAutomaton in net.automatalib.automaton Modifier and Type Interface Description interface
Automaton<S,I,T>
Basic interface for an automaton.interface
DeterministicAutomaton<S,I,T>
Basic interface for a deterministic automaton.interface
FiniteAlphabetAutomaton<S,I,T>
interface
MutableAutomaton<S,I,T,SP,TP>
A mutable automaton.interface
MutableDeterministic<S,I,T,SP,TP>
Interface for a mutable deterministic automaton.interface
ShrinkableAutomaton<S,I,T,SP,TP>
A mutable automaton that also supports destructive modifications, i.e., removal of states and transitions.interface
ShrinkableDeterministic<S,I,T,SP,TP>
A mutable deterministic automaton that also supports destructive operations, i.e., removal of states and transitions.interface
UniversalAutomaton<S,I,T,SP,TP>
A universal automaton is a generalized representation of automata, with unified access to the properties of states and transitions.interface
UniversalDeterministicAutomaton<S,I,T,SP,TP>
ADeterministicAutomaton
with state and transition properties.interface
UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP>
Classes in net.automatalib.automaton that implement SimpleAutomaton 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 SimpleAutomaton in net.automatalib.automaton.base
Classes in net.automatalib.automaton.base that implement SimpleAutomaton 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 SimpleAutomaton in net.automatalib.automaton.concept
Subinterfaces of SimpleAutomaton in net.automatalib.automaton.concept Modifier and Type Interface Description interface
DetOutputAutomaton<S,I,T,D>
An automaton which deterministically produces an output for an input word.interface
DetSuffixOutputAutomaton<S,I,T,D>
interface
OutputAutomaton<S,I,T,D>
-
Uses of SimpleAutomaton in net.automatalib.automaton.fsa
Subinterfaces of SimpleAutomaton in net.automatalib.automaton.fsa Modifier and Type Interface Description interface
DFA<S,I>
Deterministic finite state acceptor.interface
FiniteStateAcceptor<S,I>
FiniteStateAcceptor
s accept regular languages.interface
MutableDFA<S,I>
interface
MutableFSA<S,I>
interface
MutableNFA<S,I>
interface
NFA<S,I>
Nondeterministic finite state acceptor.Classes in net.automatalib.automaton.fsa that implement SimpleAutomaton Modifier and Type Class Description class
CompactDFA<I>
class
CompactNFA<I>
class
FastDFA<I>
class
FastNFA<I>
-
Uses of SimpleAutomaton in net.automatalib.automaton.helper
Constructors in net.automatalib.automaton.helper with parameters of type SimpleAutomaton Constructor Description SimpleStateIDs(SimpleAutomaton<S,?> automaton)
-
Uses of SimpleAutomaton in net.automatalib.automaton.simple
Subinterfaces of SimpleAutomaton in net.automatalib.automaton.simple Modifier and Type Interface Description interface
SimpleDeterministicAutomaton<S,I>
A simple deterministic automaton. -
Uses of SimpleAutomaton in net.automatalib.automaton.transducer
Subinterfaces of SimpleAutomaton in net.automatalib.automaton.transducer Modifier and Type Interface Description interface
MealyMachine<S,I,T,O>
interface
MooreMachine<S,I,T,O>
interface
MutableMealyMachine<S,I,T,O>
interface
MutableMooreMachine<S,I,T,O>
interface
MutableSubsequentialTransducer<S,I,T,O>
Amutable
extension of aSubsequentialTransducer
.interface
StateLocalInputMealyMachine<S,I,T,O>
interface
StateOutputAutomaton<S,I,T,O>
interface
SubsequentialTransducer<S,I,T,O>
A subsequential transducer (or SST) is anDeterministicOutputTS
whose state and transition properties are output-words
.interface
TransitionOutputAutomaton<S,I,T,O>
Classes in net.automatalib.automaton.transducer that implement SimpleAutomaton 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 SimpleAutomaton in net.automatalib.automaton.transducer.probabilistic
Subinterfaces of SimpleAutomaton in net.automatalib.automaton.transducer.probabilistic Modifier and Type Interface Description interface
MutableProbabilisticMealy<S,I,T,O>
interface
ProbabilisticMealyMachine<S,I,T,O>
Classes in net.automatalib.automaton.transducer.probabilistic that implement SimpleAutomaton Modifier and Type Class Description class
FastProbMealy<I,O>
-
Uses of SimpleAutomaton in net.automatalib.brics
Classes in net.automatalib.brics that implement SimpleAutomaton Modifier and Type Class Description class
AbstractBricsAutomaton
Base class for Brics automata adapters.class
BricsDFA
Adapter class for wrapping a Brics automaton as aDFA
.class
BricsNFA
Adapter class for wrapping a Brics automaton as anNFA
. -
Uses of SimpleAutomaton in net.automatalib.modelchecking
Subinterfaces of SimpleAutomaton in net.automatalib.modelchecking Modifier and Type Interface Description interface
Lasso<I,D>
A lasso is a single infinite word.static interface
Lasso.DFALasso<I>
A DFALasso is a lasso forDFA
s.static interface
Lasso.MealyLasso<I,O>
A MealyLasso is a lasso forMealyMachine
s.Classes in net.automatalib.modelchecking that implement SimpleAutomaton Modifier and Type Class Description class
AbstractLasso<I,D>
class
DFALassoImpl<I>
A DFALasso is a lasso forDFA
s.class
MealyLassoImpl<I,O>
A MealyLasso is a lasso forMealyMachine
s. -
Uses of SimpleAutomaton in net.automatalib.serialization.aut
Methods in net.automatalib.serialization.aut that return types with arguments of type SimpleAutomaton Modifier and Type Method Description static InputModelData<String,SimpleAutomaton<Integer,String>>
AUTParser. readAutomaton(InputStream is)
static <I> InputModelData<I,SimpleAutomaton<Integer,I>>
AUTParser. readAutomaton(InputStream is, Function<String,I> inputTransformer)
<I2> InputModelData<I2,SimpleAutomaton<Integer,I2>>
AUTSerializationProvider. readModel(InputStream is, Function<String,I2> inputTransformer)
Methods in net.automatalib.serialization.aut with parameters of type SimpleAutomaton Modifier and Type Method Description static <S,I>
voidAUTWriter. writeAutomaton(SimpleAutomaton<S,I> automaton, Alphabet<I> alphabet, OutputStream os)
static <S,I>
voidAUTWriter. writeAutomaton(SimpleAutomaton<S,I> automaton, Alphabet<I> alphabet, Function<I,String> inputTransformer, OutputStream os)
<I2> void
AUTSerializationProvider. writeModel(OutputStream os, SimpleAutomaton<?,I2> model, Alphabet<I2> alphabet, Function<I2,String> inputTransformer)
-
Uses of SimpleAutomaton in net.automatalib.serialization.automaton
Methods in net.automatalib.serialization.automaton that return types with arguments of type SimpleAutomaton Modifier and Type Method Description default <I2> InputModelData<I2,SimpleAutomaton<S,I2>>
SimpleAutomatonDeserializer. readModel(byte[] buf, Function<I,I2> inputTransformer)
Reads the contents from the given byte buffer and de-serializes it into aInputModelData
that contains the model and its alphabet definition.default <I2> InputModelData<I2,SimpleAutomaton<S,I2>>
SimpleAutomatonDeserializer. readModel(File f, Function<I,I2> inputTransformer)
Reads the contents from the given file and de-serializes it into aInputModelData
that contains the model and its alphabet definition.default InputModelData<I,SimpleAutomaton<S,I>>
SimpleAutomatonDeserializer. readModel(InputStream is)
<I2> InputModelData<I2,SimpleAutomaton<S,I2>>
SimpleAutomatonDeserializer. readModel(InputStream is, Function<I,I2> inputTransformer)
Reads the contents from the given input stream and de-serializes it into aInputModelData
that contains the model and its alphabet definition.default <I2> InputModelData<I2,SimpleAutomaton<S,I2>>
SimpleAutomatonDeserializer. readModel(URL url, Function<I,I2> inputTransformer)
Reads the contents from the given URL and de-serializes it into aInputModelData
that contains the model and its alphabet definition.Methods in net.automatalib.serialization.automaton with parameters of type SimpleAutomaton Modifier and Type Method Description default <I2> void
SimpleAutomatonSerializer. writeModel(File f, SimpleAutomaton<?,I2> model, Alphabet<I2> alphabet, Function<I2,I> inputTransformer)
Writes the model to the given file.default void
SimpleAutomatonSerializer. writeModel(OutputStream os, SimpleAutomaton<?,I> model, Alphabet<I> alphabet)
<I2> void
SimpleAutomatonSerializer. writeModel(OutputStream os, SimpleAutomaton<?,I2> model, Alphabet<I2> alphabet, Function<I2,I> inputTransformer)
Writes the model to the given output stream. -
Uses of SimpleAutomaton in net.automatalib.ts
Subinterfaces of SimpleAutomaton in net.automatalib.ts Modifier and Type Interface Description interface
FiniteKTS<S,I,T,AP>
A finite Kripke Transition System combines the properties of afinite transition system
and aKripkeInterpretation
. -
Uses of SimpleAutomaton in net.automatalib.ts.modal
Subinterfaces of SimpleAutomaton 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 SimpleAutomaton Modifier and Type Class Description class
AbstractCompactMTS<I,T,TP extends MutableModalEdgeProperty>
An abstract base-implementation forMutableModalTransitionSystem
s.class
CompactMTS<I>
-