Uses of Interface
net.automatalib.automaton.MutableDeterministic

Packages that use MutableDeterministic

Package	Description
net.automatalib.automaton	This package (including sub-packages) contains the basic classes concerning automata.
net.automatalib.automaton.abstraction
net.automatalib.automaton.base
net.automatalib.automaton.fsa
net.automatalib.automaton.transducer
net.automatalib.util.automaton
net.automatalib.util.automaton.minimizer.hopcroft
net.automatalib.util.automaton.minimizer.paigetarjan
net.automatalib.util.automaton.random
net.automatalib.util.partitionrefinement

Uses of MutableDeterministic in net.automatalib.automaton

Subinterfaces of MutableDeterministic in net.automatalib.automaton

Modifier and Type	Interface	Description
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 MutableDeterministic

Modifier and Type	Class	Description
class	UniversalCompactDet<I,SP,TP>	A default implementation for AbstractCompactDeterministic that uses CompactTransition as transition type and supports various types of state and transition properties.
class	UniversalCompactSimpleDet<I,SP>	A AbstractCompactSimpleDeterministic-based implementation for automata that need to store generic state properties.

Uses of MutableDeterministic in net.automatalib.automaton.abstraction

Classes in net.automatalib.automaton.abstraction with type parameters of type MutableDeterministic

Modifier and Type	Class	Description
static class	MutableDeterministicAbstraction.StateIntAbstraction<S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>>

Uses of MutableDeterministic in net.automatalib.automaton.base

Classes in net.automatalib.automaton.base that implement MutableDeterministic

Modifier and Type	Class	Description
class	AbstractCompactDeterministic<I,T,SP,TP>	Abstract super class that refines AbstractCompact for deterministic automata.
class	AbstractCompactSimpleDeterministic<I,SP>	Abstract super class that refines AbstractCompactDeterministic for transition-property-less automata.
class	AbstractFastMutableDet<S extends AbstractFastState<T>,I,T,SP,TP>

Uses of MutableDeterministic in net.automatalib.automaton.fsa

Subinterfaces of MutableDeterministic in net.automatalib.automaton.fsa

Modifier and Type	Interface	Description
interface	MutableDFA<S,I>

Classes in net.automatalib.automaton.fsa that implement MutableDeterministic

Modifier and Type	Class	Description
class	CompactDFA<I>
class	FastDFA<I>

Uses of MutableDeterministic in net.automatalib.automaton.transducer

Subinterfaces of MutableDeterministic 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>	A mutable extension of a SubsequentialTransducer.

Classes in net.automatalib.automaton.transducer that implement MutableDeterministic

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 MutableDeterministic in net.automatalib.util.automaton

Methods in net.automatalib.util.automaton with type parameters of type MutableDeterministic

Modifier and Type	Method	Description
static <S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>> A	Automata.invasiveMinimize(A automaton, Collection<? extends I> inputs)
static <S,I,T,SP,TP,SO,TO,A extends MutableDeterministic<SO,? super I,TO,? super SP,? super TP>> A	Automata.minimize(UniversalDeterministicAutomaton<S,I,T,SP,TP> automaton, Collection<? extends I> inputs, A output)

Uses of MutableDeterministic in net.automatalib.util.automaton.minimizer.hopcroft

Methods in net.automatalib.util.automaton.minimizer.hopcroft with type parameters of type MutableDeterministic

Modifier and Type	Method	Description
static <I,T,SP,TP,A extends MutableDeterministic<?,I,?,SP,TP>> A	HopcroftMinimization.minimizeUniversal(UniversalDeterministicAutomaton<?,I,T,SP,TP> automaton, Alphabet<I> alphabet, AutomatonCreator<A,I> creator, AutomatonInitialPartitioning ap, HopcroftMinimization.PruningMode pruningMode)	Minimizes the given automaton depending on the given partitioning function.

Uses of MutableDeterministic in net.automatalib.util.automaton.minimizer.paigetarjan

Methods in net.automatalib.util.automaton.minimizer.paigetarjan with type parameters of type MutableDeterministic

Modifier and Type	Method	Description
static <I,T,SP,TP,A extends MutableDeterministic<?,I,?,SP,TP>> A	PaigeTarjanMinimization.minimizeUniversal(UniversalDeterministicAutomaton<?,I,T,SP,TP> automaton, Alphabet<I> alphabet, AutomatonCreator<A,I> creator, AutomatonInitialPartitioning ap, Object sinkClassification)	Minimizes the given automaton depending on the given partitioning function.

Uses of MutableDeterministic in net.automatalib.util.automaton.random

Classes in net.automatalib.util.automaton.random with type parameters of type MutableDeterministic

Modifier and Type	Class	Description
class	RandomDeterministicAutomatonGenerator<S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>>

Methods in net.automatalib.util.automaton.random with type parameters of type MutableDeterministic

Modifier and Type	Method	Description
<I,A extends MutableDeterministic<?,I,?,? super SP,? super TP>> A	RandomICAutomatonGenerator.generateICDeterministicAutomaton(int numStates, Collection<? extends I> inputs, A result, Random r)	Generates an initially connected (IC) deterministic automaton with the given parameters.
<I,A extends MutableDeterministic<?,I,?,? super SP,? super TP>> A	RandomICAutomatonGenerator.generateICDeterministicAutomaton(int numStates, Alphabet<I> alphabet, AutomatonCreator<? extends A,I> creator, Random r)	Generates an initially-connected (IC) deterministic automaton with the given parameters.
static <S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>> A	RandomAutomata.randomDeterministic(Random rand, @org.checkerframework.checker.index.qual.NonNegative int numStates, Collection<? extends I> inputs, Collection<? extends SP> stateProps, Collection<? extends TP> transProps, A out)
static <S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>> A	RandomAutomata.randomDeterministic(Random rand, @org.checkerframework.checker.index.qual.NonNegative int numStates, Collection<? extends I> inputs, Collection<? extends SP> stateProps, Collection<? extends TP> transProps, A out, boolean minimize)

Uses of MutableDeterministic in net.automatalib.util.partitionrefinement

Methods in net.automatalib.util.partitionrefinement with type parameters of type MutableDeterministic

Modifier and Type	Method	Description
static <I,SP,TP,A extends MutableDeterministic<?,I,?,SP,TP>> A	PaigeTarjanExtractors.toDeterministic(PaigeTarjan pt, AutomatonCreator<A,I> creator, Alphabet<I> inputs, SimpleDeterministicAutomaton.FullIntAbstraction absOriginal, IntFunction<? extends SP> spExtractor, BiIntFunction<? extends TP> tpExtractor, boolean pruneUnreachable)	Translates the results of the coarsest stable partition computation into a deterministic automaton.