Package net.automatalib.automaton.simple
Interface SimpleDeterministicAutomaton.StateIntAbstraction<I>
-
- Type Parameters:
I
- input symbol type
- All Superinterfaces:
FiniteRepresentation
,SimpleDeterministicAutomaton.IntAbstraction
- All Known Subinterfaces:
DeterministicAutomaton.StateIntAbstraction<I,T>
,MutableDeterministic.StateIntAbstraction<I,T,SP,TP>
,UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>
- All Known Implementing Classes:
AbstractCompactDeterministic
,AbstractCompactSimpleDeterministic
,CompactDFA
,CompactMealy
,CompactMoore
,CompactSST
,DeterministicAbstractions.StateIntAbstraction
,MutableDeterministicAbstraction.StateIntAbstraction
,SimpleDeterministicAbstractions.StateIntAbstraction
,UniversalCompactDet
,UniversalCompactSimpleDet
,UniversalDeterministicAbstractions.StateIntAbstraction
- Enclosing interface:
- SimpleDeterministicAutomaton<S,I>
public static interface SimpleDeterministicAutomaton.StateIntAbstraction<I> extends SimpleDeterministicAutomaton.IntAbstraction
Interface forinteger abstractions
of an automaton that operate on non-abstracted input symbols (i.e., input symbols are of typeI
).
-
-
Field Summary
-
Fields inherited from interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton.IntAbstraction
INVALID_STATE
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description int
getSuccessor(int state, I input)
Retrieves the (abstracted) successor state for a given (abstracted) source state and input symbol.-
Methods inherited from interface net.automatalib.automaton.concept.FiniteRepresentation
size
-
Methods inherited from interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton.IntAbstraction
getIntInitialState
-
-
-
-
Method Detail
-
getSuccessor
int getSuccessor(int state, I input)
Retrieves the (abstracted) successor state for a given (abstracted) source state and input symbol.- Parameters:
state
- the integer representing the source stateinput
- the input symbol- Returns:
- the integer representing the successor state, or
SimpleDeterministicAutomaton.IntAbstraction.INVALID_STATE
if there is no successor state.
-
-