Uses of Interface
net.automatalib.automaton.MutableAutomaton
-
Packages that use MutableAutomaton 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.dot net.automatalib.ts.modal net.automatalib.util.automaton.builder net.automatalib.util.automaton.copy net.automatalib.util.automaton.random net.automatalib.util.ts.copy -
-
Uses of MutableAutomaton in net.automatalib.automaton
Subinterfaces of MutableAutomaton in net.automatalib.automaton Modifier and Type Interface Description 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.Classes in net.automatalib.automaton that implement MutableAutomaton 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.Methods in net.automatalib.automaton with parameters of type MutableAutomaton Modifier and Type Method Description static <S,I,T,SP,TP>
voidShrinkableAutomaton. unlinkState(MutableAutomaton<S,I,T,SP,TP> automaton, S state, @Nullable S replacement, Collection<I> inputs)
-
Uses of MutableAutomaton in net.automatalib.automaton.base
Classes in net.automatalib.automaton.base that implement MutableAutomaton 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 MutableAutomaton in net.automatalib.automaton.fsa
Subinterfaces of MutableAutomaton in net.automatalib.automaton.fsa Modifier and Type Interface Description interface
MutableDFA<S,I>
interface
MutableFSA<S,I>
interface
MutableNFA<S,I>
Classes in net.automatalib.automaton.fsa that implement MutableAutomaton Modifier and Type Class Description class
CompactDFA<I>
class
CompactNFA<I>
class
FastDFA<I>
class
FastNFA<I>
-
Uses of MutableAutomaton in net.automatalib.automaton.transducer
Subinterfaces of MutableAutomaton in net.automatalib.automaton.transducer Modifier and Type Interface Description interface
MutableMealyMachine<S,I,T,O>
interface
MutableMooreMachine<S,I,T,O>
interface
MutableSubsequentialTransducer<S,I,T,O>
Amutable
extension of aSubsequentialTransducer
.Classes in net.automatalib.automaton.transducer that implement MutableAutomaton 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 MutableAutomaton in net.automatalib.automaton.transducer.probabilistic
Subinterfaces of MutableAutomaton in net.automatalib.automaton.transducer.probabilistic Modifier and Type Interface Description interface
MutableProbabilisticMealy<S,I,T,O>
Classes in net.automatalib.automaton.transducer.probabilistic that implement MutableAutomaton Modifier and Type Class Description class
FastProbMealy<I,O>
-
Uses of MutableAutomaton in net.automatalib.serialization.dot
Classes in net.automatalib.serialization.dot with type parameters of type MutableAutomaton Modifier and Type Class Description class
DOTMutableAutomatonParser<S,I,SP,TP,A extends MutableAutomaton<S,I,?,SP,TP>>
General-purpose DOT parser forMutableAutomaton
s. -
Uses of MutableAutomaton in net.automatalib.ts.modal
Subinterfaces of MutableAutomaton in net.automatalib.ts.modal Modifier and Type Interface Description 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 MutableAutomaton Modifier and Type Class Description class
AbstractCompactMTS<I,T,TP extends MutableModalEdgeProperty>
An abstract base-implementation forMutableModalTransitionSystem
s.class
CompactMTS<I>
-
Uses of MutableAutomaton in net.automatalib.util.automaton.builder
Classes in net.automatalib.util.automaton.builder with type parameters of type MutableAutomaton Modifier and Type Class Description class
AutomatonBuilder<S,I,T,SP,TP,A extends MutableAutomaton<S,? super I,T,? super SP,? super TP>>
Fields in net.automatalib.util.automaton.builder declared as MutableAutomaton Modifier and Type Field Description protected A
AutomatonBuilderImpl. automaton
Methods in net.automatalib.util.automaton.builder with type parameters of type MutableAutomaton Modifier and Type Method Description static <S,I,T,SP,TP,A extends MutableAutomaton<S,? super I,T,? super SP,? super TP>>
AutomatonBuilder<S,I,T,SP,TP,A>AutomatonBuilders. forAutomaton(A automaton)
-
Uses of MutableAutomaton in net.automatalib.util.automaton.copy
Fields in net.automatalib.util.automaton.copy declared as MutableAutomaton Modifier and Type Field Description protected MutableAutomaton<S2,I2,T2,? super SP2,? super TP2>
AbstractLowLevelAutomatonCopier. out
Methods in net.automatalib.util.automaton.copy with parameters of type MutableAutomaton Modifier and Type Method Description static <S1,I,T1,SP,TP,S2,T2>
Mapping<S1,S2>AutomatonLowLevelCopy. copy(AutomatonCopyMethod method, UniversalAutomaton<S1,? super I,T1,? extends SP,? extends TP> in, Collection<? extends I> inputs, MutableAutomaton<S2,I,T2,? super SP,? super TP> out)
Copies aUniversalAutomaton
with compatible input alphabets and properties.static <S1,I,T1,SP,TP,S2,T2>
Mapping<S1,S2>AutomatonLowLevelCopy. copy(AutomatonCopyMethod method, UniversalAutomaton<S1,? super I,T1,? extends SP,? extends TP> in, Collection<? extends I> inputs, MutableAutomaton<S2,I,T2,? super SP,? super TP> out, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I,? super T1> transFilter)
Copies aUniversalAutomaton
with compatible input alphabets and properties.static <S1,I,T1,SP1,TP1,S2,T2,SP2,TP2>
Mapping<S1,S2>AutomatonLowLevelCopy. copy(AutomatonCopyMethod method, UniversalAutomaton<S1,? super I,T1,? extends SP1,? extends TP1> in, Collection<? extends I> inputs, MutableAutomaton<S2,I,T2,? super SP2,? super TP2> out, Function<? super SP1,? extends SP2> spTransform, Function<? super TP1,? extends TP2> tpTransform)
Copies aUniversalAutomaton
to aMutableAutomaton
with compatible input alphabets, but possibly heterogeneous properties.static <S1,I,T1,SP1,TP1,S2,T2,SP2,TP2>
Mapping<S1,S2>AutomatonLowLevelCopy. copy(AutomatonCopyMethod method, UniversalAutomaton<S1,? super I,T1,? extends SP1,? extends TP1> in, Collection<? extends I> inputs, MutableAutomaton<S2,I,T2,? super SP2,? super TP2> out, Function<? super SP1,? extends SP2> spTransform, Function<? super TP1,? extends TP2> tpTransform, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I,? super T1> transFilter)
Copies aUniversalAutomaton
to aMutableAutomaton
with compatible input alphabets, but possibly heterogeneous properties.static <S1,I1,T1,SP,TP,S2,I2,T2>
Mapping<S1,S2>AutomatonLowLevelCopy. copy(AutomatonCopyMethod method, UniversalAutomaton<S1,? super I1,T1,? extends SP,? extends TP> in, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,? super SP,? super TP> out, Function<? super I1,? extends I2> inputsMapping)
Copies aUniversalAutomaton
with possibly heterogeneous input alphabets, but compatible properties.static <S1,I1,T1,SP,TP,S2,I2,T2>
Mapping<S1,S2>AutomatonLowLevelCopy. copy(AutomatonCopyMethod method, UniversalAutomaton<S1,? super I1,T1,? extends SP,? extends TP> in, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,? super SP,? super TP> out, Function<? super I1,? extends I2> inputsMapping, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I1,? super T1> transFilter)
Copies aUniversalAutomaton
with possibly heterogeneous input alphabets, but compatible properties.static <S1,I1,T1,SP1,TP1,S2,I2,T2,SP2,TP2>
Mapping<S1,S2>AutomatonLowLevelCopy. copy(AutomatonCopyMethod method, UniversalAutomaton<S1,? super I1,T1,? extends SP1,? extends TP1> in, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,? super SP2,? super TP2> out, Function<? super I1,? extends I2> inputsMapping, Function<? super SP1,? extends SP2> spTransform, Function<? super TP1,? extends TP2> tpTransform)
Copies aUniversalAutomaton
to aMutableAutomaton
with possibly heterogeneous input alphabets and state and transition properties.static <S1,I1,T1,SP1,TP1,S2,I2,T2,SP2,TP2>
Mapping<S1,S2>AutomatonLowLevelCopy. copy(AutomatonCopyMethod method, UniversalAutomaton<S1,? super I1,T1,? extends SP1,? extends TP1> in, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,? super SP2,? super TP2> out, Function<? super I1,? extends I2> inputsMapping, Function<? super SP1,? extends SP2> spTransform, Function<? super TP1,? extends TP2> tpTransform, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I1,? super T1> transFilter)
Copies aUniversalAutomaton
to aMutableAutomaton
with possibly heterogeneous input alphabets and state and transition properties.<S1,I1,T1,S2,I2,T2,SP2,TP2>
LowLevelAutomatonCopier<S1,S2>AutomatonCopyMethod. createLowLevelCopier(Automaton<S1,? super I1,T1> in, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,? super SP2,? super TP2> out, Function<? super I1,? extends I2> inputsMapping, Function<? super S1,? extends SP2> spMapping, Function<? super T1,? extends TP2> tpMapping, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I1,? super T1> transitionFilter)
static <S1,I,T1,S2,T2,SP2,TP2>
Mapping<S1,S2>AutomatonLowLevelCopy. rawCopy(AutomatonCopyMethod method, Automaton<S1,? super I,T1> in, Collection<? extends I> inputs, MutableAutomaton<S2,I,T2,SP2,TP2> out, Function<? super S1,? extends SP2> spMapping, Function<? super T1,? extends TP2> tpMapping)
Copies anAutomaton
to aMutableAutomaton
with a compatible input alphabet, but possibly heterogeneous state and transition properties.static <S1,I,T1,S2,T2,SP2,TP2>
Mapping<S1,S2>AutomatonLowLevelCopy. rawCopy(AutomatonCopyMethod method, Automaton<S1,? super I,T1> in, Collection<? extends I> inputs, MutableAutomaton<S2,I,T2,SP2,TP2> out, Function<? super S1,? extends SP2> spMapping, Function<? super T1,? extends TP2> tpMapping, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I,? super T1> transFilter)
Copies anAutomaton
to aMutableAutomaton
with a compatible input alphabet, but possibly heterogeneous state and transition properties.static <S1,I1,T1,S2,I2,T2,SP2,TP2>
Mapping<S1,S2>AutomatonLowLevelCopy. rawCopy(AutomatonCopyMethod method, Automaton<S1,? super I1,T1> in, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,? super SP2,? super TP2> out, Function<? super I1,? extends I2> inputsMapping, Function<? super S1,? extends SP2> spMapping, Function<? super T1,? extends TP2> tpMapping)
Copies anAutomaton
to aMutableAutomaton
with possibly heterogeneous input alphabets and state and transition properties.static <S1,I1,T1,S2,I2,T2,SP2,TP2>
Mapping<S1,S2>AutomatonLowLevelCopy. rawCopy(AutomatonCopyMethod method, Automaton<S1,? super I1,T1> in, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,? super SP2,? super TP2> out, Function<? super I1,? extends I2> inputsMapping, Function<? super S1,? extends SP2> spMapping, Function<? super T1,? extends TP2> tpMapping, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I1,? super T1> transFilter)
Copies anAutomaton
to aMutableAutomaton
with possibly heterogeneous input alphabets and state and transition properties.Constructors in net.automatalib.util.automaton.copy with parameters of type MutableAutomaton Constructor Description AbstractLowLevelAutomatonCopier(TS1 in, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,? super SP2,? super TP2> out, Function<? super I1,? extends I2> inputsMapping, Function<? super S1,? extends SP2> spMapping, Function<? super T1,? extends TP2> tpMapping, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I1,? super T1> transFilter)
-
Uses of MutableAutomaton in net.automatalib.util.automaton.random
Classes in net.automatalib.util.automaton.random with type parameters of type MutableAutomaton Modifier and Type Class Description class
RandomAutomatonGenerator<S,I,T,SP,TP,A extends MutableAutomaton<S,I,T,SP,TP>>
Fields in net.automatalib.util.automaton.random declared as MutableAutomaton Modifier and Type Field Description protected A
RandomAutomatonGenerator. automaton
-
Uses of MutableAutomaton in net.automatalib.util.ts.copy
Methods in net.automatalib.util.ts.copy with parameters of type MutableAutomaton Modifier and Type Method Description static <S1,I,T1,SP,TP,S2,T2>
Mapping<S1,S2>TSCopy. copy(TSTraversalMethod method, UniversalTransitionSystem<S1,? super I,T1,? extends SP,? extends TP> in, int limit, Collection<? extends I> inputs, MutableAutomaton<S2,I,T2,? super SP,? super TP> out)
Copies aUniversalAutomaton
with compatible input alphabets and properties.static <S1,I,T1,SP,TP,S2,T2>
Mapping<S1,S2>TSCopy. copy(TSTraversalMethod method, UniversalTransitionSystem<S1,? super I,T1,? extends SP,? extends TP> in, int limit, Collection<? extends I> inputs, MutableAutomaton<S2,I,T2,? super SP,? super TP> out, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I,? super T1> transFilter)
Copies aUniversalAutomaton
with compatible input alphabets and properties.static <S1,I,T1,SP1,TP1,S2,T2,SP2,TP2>
Mapping<S1,S2>TSCopy. copy(TSTraversalMethod method, UniversalTransitionSystem<S1,? super I,T1,? extends SP1,? extends TP1> in, int limit, Collection<? extends I> inputs, MutableAutomaton<S2,I,T2,? super SP2,? super TP2> out, Function<? super SP1,? extends SP2> spTransform, Function<? super TP1,? extends TP2> tpTransform)
Copies aUniversalAutomaton
to aMutableAutomaton
with compatible input alphabets, but possibly heterogeneous properties.static <S1,I,T1,SP1,TP1,S2,T2,SP2,TP2>
Mapping<S1,S2>TSCopy. copy(TSTraversalMethod method, UniversalTransitionSystem<S1,? super I,T1,? extends SP1,? extends TP1> in, int limit, Collection<? extends I> inputs, MutableAutomaton<S2,I,T2,? super SP2,? super TP2> out, Function<? super SP1,? extends SP2> spTransform, Function<? super TP1,? extends TP2> tpTransform, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I,? super T1> transFilter)
Copies aUniversalAutomaton
to aMutableAutomaton
with compatible input alphabets, but possibly heterogeneous properties.static <S1,I1,T1,SP,TP,S2,I2,T2>
Mapping<S1,S2>TSCopy. copy(TSTraversalMethod method, UniversalTransitionSystem<S1,? super I1,T1,? extends SP,? extends TP> in, int limit, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,? super SP,? super TP> out, Function<? super I1,? extends I2> inputsMapping)
Copies aUniversalAutomaton
with possibly heterogeneous input alphabets, but compatible properties.static <S1,I1,T1,SP,TP,S2,I2,T2>
Mapping<S1,S2>TSCopy. copy(TSTraversalMethod method, UniversalTransitionSystem<S1,? super I1,T1,? extends SP,? extends TP> in, int limit, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,? super SP,? super TP> out, Function<? super I1,? extends I2> inputsMapping, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I1,? super T1> transFilter)
Copies aUniversalAutomaton
with possibly heterogeneous input alphabets, but compatible properties.static <S1,I1,T1,SP1,TP1,S2,I2,T2,SP2,TP2>
Mapping<S1,S2>TSCopy. copy(TSTraversalMethod method, UniversalTransitionSystem<S1,? super I1,T1,? extends SP1,? extends TP1> in, int limit, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,? super SP2,? super TP2> out, Function<? super I1,? extends I2> inputsMapping, Function<? super SP1,? extends SP2> spTransform, Function<? super TP1,? extends TP2> tpTransform)
Copies aUniversalAutomaton
to aMutableAutomaton
with possibly heterogeneous input alphabets and state and transition properties.static <S1,I1,T1,SP1,TP1,S2,I2,T2,SP2,TP2>
Mapping<S1,S2>TSCopy. copy(TSTraversalMethod method, UniversalTransitionSystem<S1,? super I1,T1,? extends SP1,? extends TP1> in, int limit, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,? super SP2,? super TP2> out, Function<? super I1,? extends I2> inputsMapping, Function<? super SP1,? extends SP2> spTransform, Function<? super TP1,? extends TP2> tpTransform, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I1,? super T1> transFilter)
Copies aUniversalAutomaton
to aMutableAutomaton
with possibly heterogeneous input alphabets and state and transition properties.static <S1,I,T1,S2,T2,SP2,TP2>
Mapping<S1,S2>TSCopy. rawCopy(TSTraversalMethod method, TransitionSystem<S1,? super I,T1> in, int limit, Collection<? extends I> inputs, MutableAutomaton<S2,I,T2,SP2,TP2> out, Function<? super S1,? extends SP2> spMapping, Function<? super T1,? extends TP2> tpMapping)
Copies anAutomaton
to aMutableAutomaton
with a compatible input alphabet, but possibly heterogeneous state and transition properties.static <S1,I,T1,S2,T2,SP2,TP2>
Mapping<S1,S2>TSCopy. rawCopy(TSTraversalMethod method, TransitionSystem<S1,? super I,T1> in, int limit, Collection<? extends I> inputs, MutableAutomaton<S2,I,T2,SP2,TP2> out, Function<? super S1,? extends SP2> spMapping, Function<? super T1,? extends TP2> tpMapping, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I,? super T1> transFilter)
Copies anAutomaton
to aMutableAutomaton
with a compatible input alphabet, but possibly heterogeneous state and transition properties.static <S1,I1,T1,S2,I2,T2,SP2,TP2>
Mapping<S1,S2>TSCopy. rawCopy(TSTraversalMethod method, TransitionSystem<S1,? super I1,T1> in, int limit, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,? super SP2,? super TP2> out, Function<? super I1,? extends I2> inputsMapping, Function<? super S1,? extends SP2> spMapping, Function<? super T1,? extends TP2> tpMapping)
Copies anAutomaton
to aMutableAutomaton
with possibly heterogeneous input alphabets and state and transition properties.static <S1,I1,T1,S2,I2,T2,SP2,TP2>
Mapping<S1,S2>TSCopy. rawCopy(TSTraversalMethod method, TransitionSystem<S1,? super I1,T1> in, int limit, Collection<? extends I1> inputs, MutableAutomaton<S2,I2,T2,? super SP2,? super TP2> out, Function<? super I1,? extends I2> inputsMapping, Function<? super S1,? extends SP2> spMapping, Function<? super T1,? extends TP2> tpMapping, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I1,? super T1> transFilter)
Copies anTransitionSystem
to aMutableAutomaton
with possibly heterogeneous input alphabets and state and transition properties.Constructors in net.automatalib.util.ts.copy with parameters of type MutableAutomaton Constructor Description TSCopyVisitor(TransitionSystem<S1,? super I1,T1> in, MutableAutomaton<S2,I2,T2,? super SP2,? super TP2> out, Function<? super I1,? extends I2> inputMapping, Function<? super S1,? extends SP2> spMapping, Function<? super T1,? extends TP2> tpMapping, Predicate<? super S1> stateFilter, TransitionPredicate<? super S1,? super I1,? super T1> transFilter)
-