Package net.automatalib.automaton.simple
Interface SimpleDeterministicAutomaton.FullIntAbstraction
-
- All Superinterfaces:
FiniteRepresentation
,SimpleDeterministicAutomaton.IntAbstraction
- All Known Subinterfaces:
DeterministicAutomaton.FullIntAbstraction<T>
,MutableDeterministic.FullIntAbstraction<T,SP,TP>
,UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>
- All Known Implementing Classes:
AbstractCompactDeterministic
,AbstractCompactSimpleDeterministic
,CompactDFA
,CompactMealy
,CompactMoore
,CompactSST
,DeterministicAbstractions.FullIntAbstraction
,MutableDeterministicAbstraction.FullIntAbstraction
,SimpleDeterministicAbstractions.FullIntAbstraction
,UniversalCompactDet
,UniversalCompactSimpleDet
,UniversalDeterministicAbstractions.FullIntAbstraction
- Enclosing interface:
- SimpleDeterministicAutomaton<S,I>
public static interface SimpleDeterministicAutomaton.FullIntAbstraction extends SimpleDeterministicAutomaton.IntAbstraction
Interface for aninteger abstraction
that abstracts both states and input symbols to integers. In addition to the modalities specified inSimpleDeterministicAutomaton.IntAbstraction
, this interface prescribes that input symbols are abstracted to integers in the range[0, numInputs() - 1]
.
-
-
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, int input)
Retrieves the (abstracted) successor for a given (abstracted) source state and (abstracted) input.int
numInputs()
Retrieves the number of input symbols.-
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, int input)
Retrieves the (abstracted) successor for a given (abstracted) source state and (abstracted) input.- Parameters:
state
- the integer representing the source stateinput
- the integer representing the input symbol- Returns:
- the integer representing the target state, or
SimpleDeterministicAutomaton.IntAbstraction.INVALID_STATE
if there is no successor state.
-
numInputs
int numInputs()
Retrieves the number of input symbols. This determines the valid range of input symbols, which is[0, numInputs() - 1]
.- Returns:
- the number of input symbols
-
-