Package net.automatalib.automaton
Interface DeterministicAutomaton<S,I,T>
-
- Type Parameters:
S
- state typeI
- input symbol typeT
- transition type
- All Superinterfaces:
Automaton<S,I,T>
,DeterministicTransitionSystem<S,I,T>
,FiniteRepresentation
,Iterable<S>
,SimpleAutomaton<S,I>
,SimpleDeterministicAutomaton<S,I>
,SimpleDTS<S,I>
,SimpleTS<S,I>
,TransitionSystem<S,I,T>
- All Known Subinterfaces:
DetOutputAutomaton<S,I,T,D>
,DetSuffixOutputAutomaton<S,I,T,D>
,DFA<S,I>
,Lasso<I,D>
,Lasso.DFALasso<I>
,Lasso.MealyLasso<I,O>
,MealyMachine<S,I,T,O>
,MooreMachine<S,I,T,O>
,MutableDeterministic<S,I,T,SP,TP>
,MutableDFA<S,I>
,MutableMealyMachine<S,I,T,O>
,MutableMooreMachine<S,I,T,O>
,MutableSubsequentialTransducer<S,I,T,O>
,ShrinkableDeterministic<S,I,T,SP,TP>
,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>
- All Known Implementing Classes:
AbstractCompactDeterministic
,AbstractCompactSimpleDeterministic
,AbstractFastMutableDet
,AbstractLasso
,BricsDFA
,CompactDFA
,CompactMealy
,CompactMoore
,CompactSST
,DFALassoImpl
,FastDFA
,FastMealy
,FastMoore
,MealyLassoImpl
,UniversalCompactDet
,UniversalCompactSimpleDet
public interface DeterministicAutomaton<S,I,T> extends Automaton<S,I,T>, SimpleDeterministicAutomaton<S,I>, DeterministicTransitionSystem<S,I,T>
Basic interface for a deterministic automaton. A deterministic automaton is aDeterministicTransitionSystem
with a finite number of states.
-
-
Nested Class Summary
Nested Classes Modifier and Type Interface Description static interface
DeterministicAutomaton.FullIntAbstraction<T>
Interface forfull integer abstractions
of aDeterministicAutomaton
.static interface
DeterministicAutomaton.IntAbstraction<T>
Base interface forinteger abstractions
of aDeterministicAutomaton
.static interface
DeterministicAutomaton.StateIntAbstraction<I,T>
Interface forstate integer abstractions
of aDeterministicAutomaton
.
-
Method Summary
All Methods Instance Methods Default Methods Modifier and Type Method Description default DeterministicAutomaton.FullIntAbstraction<T>
fullIntAbstraction(int numInputs, IntFunction<? extends I> symMapping)
Retrieves aSimpleDeterministicAutomaton.FullIntAbstraction
of this automaton, using the given number of (abstract) inputs and the inputs mapping.default DeterministicAutomaton.FullIntAbstraction<T>
fullIntAbstraction(Alphabet<I> alphabet)
Retrieves aSimpleDeterministicAutomaton.FullIntAbstraction
of this automaton, using the mapping induced by the given alphabet as the abstraction for the input symbols.default DeterministicAutomaton.StateIntAbstraction<I,T>
stateIntAbstraction()
Retrieves aSimpleDeterministicAutomaton.StateIntAbstraction
of this automaton.-
Methods inherited from interface net.automatalib.automaton.Automaton
transitionGraphView
-
Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem
getSuccessor, getSuccessors, getTransition, getTransitions
-
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
Methods inherited from interface net.automatalib.automaton.simple.SimpleAutomaton
createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs
-
Methods inherited from interface net.automatalib.ts.simple.SimpleDTS
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, getSuccessors
-
Methods inherited from interface net.automatalib.ts.simple.SimpleTS
getSuccessors
-
Methods inherited from interface net.automatalib.ts.TransitionSystem
getSuccessor, powersetView
-
-
-
-
Method Detail
-
fullIntAbstraction
default DeterministicAutomaton.FullIntAbstraction<T> fullIntAbstraction(Alphabet<I> alphabet)
Description copied from interface:SimpleDeterministicAutomaton
Retrieves aSimpleDeterministicAutomaton.FullIntAbstraction
of 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)
.- Specified by:
fullIntAbstraction
in interfaceSimpleDeterministicAutomaton<S,I>
- Parameters:
alphabet
- the alphabet inducing the abstraction- Returns:
- a
SimpleDeterministicAutomaton.FullIntAbstraction
-
fullIntAbstraction
default DeterministicAutomaton.FullIntAbstraction<T> fullIntAbstraction(int numInputs, IntFunction<? extends I> symMapping)
Description copied from interface:SimpleDeterministicAutomaton
Retrieves aSimpleDeterministicAutomaton.FullIntAbstraction
of this automaton, using the given number of (abstract) inputs and the inputs mapping.- Specified by:
fullIntAbstraction
in interfaceSimpleDeterministicAutomaton<S,I>
- 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
SimpleDeterministicAutomaton.FullIntAbstraction
-
stateIntAbstraction
default DeterministicAutomaton.StateIntAbstraction<I,T> stateIntAbstraction()
Description copied from interface:SimpleDeterministicAutomaton
Retrieves aSimpleDeterministicAutomaton.StateIntAbstraction
of this automaton.- Specified by:
stateIntAbstraction
in interfaceSimpleDeterministicAutomaton<S,I>
- Returns:
- a
SimpleDeterministicAutomaton.StateIntAbstraction
-
-