Module net.automatalib.api
Package net.automatalib.automaton.simple
Interface SimpleDeterministicAutomaton<S,I>
- Type Parameters:
S- state class.I- input symbol class.
- All Superinterfaces:
FiniteRepresentation,InitialState<S>,InitialStates<S>,Iterable<S>,SimpleAutomaton<S,,I> SimpleDTS<S,,I> SimpleTS<S,I>
- All Known Subinterfaces:
DeterministicAutomaton<S,,I, T> DeterministicAutomaton.RegularAutomaton<S,,I, T> DeterministicOutputAutomaton<S,,I, T, D> DeterministicSuffixOutputAutomaton<S,,I, T, D> DFA<S,,I> Lasso<I,,D> Lasso.DFALasso<I>,Lasso.MealyLasso<I,,O> MealyMachine<S,,I, T, O> MMLT<S,,I, T, O> MooreMachine<S,,I, T, O> MutableDeterministic<S,,I, T, SP, TP> MutableDeterministic.RegularAutomaton<S,,I, T, SP, TP> MutableDFA<S,,I> MutableMealyMachine<S,,I, T, O> MutableMMLT<S,,I, T, O> MutableMooreMachine<S,,I, T, O> MutableSubsequentialTransducer<S,,I, T, O> StateLocalInputMealyMachine<S,,I, T, O> StateOutputAutomaton<S,,I, T, O> SubsequentialTransducer<S,,I, T, O> TransitionOutputAutomaton<S,,I, T, O> UniversalDeterministicAutomaton<S,,I, T, SP, TP> UniversalDeterministicAutomaton.RegularAutomaton<S,I, T, SP, TP>
- All Known Implementing Classes:
AbstractCompactDeterministic,AbstractCompactSimpleDeterministic,AbstractFastMutableDet,AbstractLasso,BricsDFA,CompactDFA,CompactMealy,CompactMMLT,CompactMoore,CompactSST,CompactTransitionOutput,DFALassoImpl,FastDFA,FastMealy,FastMoore,MealyLassoImpl,ReducedMMLTSemantics,UniversalCompactDet,UniversalCompactDetAutomaton,UniversalCompactSimpleDet
A simple deterministic automaton.
-
Method Summary
Modifier and TypeMethodDescriptionfullIntAbstraction(int numInputs, IntFunction<? extends I> symMapping) Retrieves aSimpleDeterministicAbstractions.FullIntAbstractionof this automaton, using the given number of (abstract) inputs and the inputs mapping.fullIntAbstraction(Alphabet<I> alphabet) Retrieves aSimpleDeterministicAbstractions.FullIntAbstractionof this automaton, using the mapping induced by the given alphabet as the abstraction for the input symbols.Retrieves aSimpleDeterministicAbstractions.StateIntAbstractionof this automaton.Methods inherited from interface net.automatalib.automaton.concept.InitialState
getInitialState, getInitialStatesMethods inherited from interface java.lang.Iterable
forEach, spliteratorMethods inherited from interface net.automatalib.automaton.simple.SimpleAutomaton
createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDsMethods inherited from interface net.automatalib.ts.simple.SimpleDTS
getState, getStates, getSuccessor, getSuccessor, getSuccessorsMethods inherited from interface net.automatalib.ts.simple.SimpleTS
getSuccessors
-
Method Details
-
fullIntAbstraction
Retrieves aSimpleDeterministicAbstractions.FullIntAbstractionof this automaton, using the mapping induced by the given alphabet as the abstraction for the input symbols.This method is provided for convenience. It is equivalent to calling
fullIntAbstraction(alphabet.size(), alphabet).- Parameters:
alphabet- the alphabet inducing the abstraction- Returns:
- a
SimpleDeterministicAbstractions.FullIntAbstraction
-
fullIntAbstraction
default SimpleDeterministicAbstractions.FullIntAbstraction fullIntAbstraction(int numInputs, IntFunction<? extends I> symMapping) Retrieves aSimpleDeterministicAbstractions.FullIntAbstractionof this automaton, using the given number of (abstract) inputs and the inputs mapping.- Parameters:
numInputs- the number of inputs represented in the full abstractionsymMapping- the mapping from integers in the range[0, numInputs - 1]to input symbols.- Returns:
- a
SimpleDeterministicAbstractions.FullIntAbstraction
-
stateIntAbstraction
Retrieves aSimpleDeterministicAbstractions.StateIntAbstractionof this automaton.
-