Package net.automatalib.automaton.simple
Interface SimpleDeterministicAutomaton.IntAbstraction
-
- All Superinterfaces:
FiniteRepresentation
- All Known Subinterfaces:
DeterministicAutomaton.FullIntAbstraction<T>
,DeterministicAutomaton.IntAbstraction<T>
,DeterministicAutomaton.StateIntAbstraction<I,T>
,MutableDeterministic.FullIntAbstraction<T,SP,TP>
,MutableDeterministic.IntAbstraction<T,SP,TP>
,MutableDeterministic.StateIntAbstraction<I,T,SP,TP>
,SimpleDeterministicAutomaton.FullIntAbstraction
,SimpleDeterministicAutomaton.StateIntAbstraction<I>
,UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>
,UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>
,UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>
- All Known Implementing Classes:
DeterministicAbstractions.FullIntAbstraction
,DeterministicAbstractions.StateIntAbstraction
,MutableDeterministicAbstraction.FullIntAbstraction
,MutableDeterministicAbstraction.StateIntAbstraction
,SimpleDeterministicAbstractions.FullIntAbstraction
,SimpleDeterministicAbstractions.IntAbstraction
,SimpleDeterministicAbstractions.StateIntAbstraction
,UniversalDeterministicAbstractions.FullIntAbstraction
,UniversalDeterministicAbstractions.StateIntAbstraction
- Enclosing interface:
- SimpleDeterministicAutomaton<S,I>
public static interface SimpleDeterministicAutomaton.IntAbstraction extends FiniteRepresentation
Basic interface for integer abstractions of automata. In an integer abstraction, each state of an automaton is identified with an integer in the range[0, size() - 1]
. A similar abstraction may be imposed on the input symbols, this is however not prescribed by this interface (seeSimpleDeterministicAutomaton.StateIntAbstraction
andSimpleDeterministicAutomaton.FullIntAbstraction
).
-
-
Field Summary
Fields Modifier and Type Field Description static int
INVALID_STATE
Representative for an invalid state.
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description int
getIntInitialState()
Retrieves the initial state of the (abstracted) automaton as an integer.-
Methods inherited from interface net.automatalib.automaton.concept.FiniteRepresentation
size
-
-
-
-
Field Detail
-
INVALID_STATE
static final int INVALID_STATE
Representative for an invalid state. This is the value being returned by methods that would returnnull
in their non-abstracted version. However, for determining whether a state is valid or not, code should never rely on the corresponding integer being equal to this value, since any integer outside the range[0, size() - 1]
is invalid, in particular all negative integers.- See Also:
- Constant Field Values
-
-
Method Detail
-
getIntInitialState
int getIntInitialState()
Retrieves the initial state of the (abstracted) automaton as an integer. If the automaton has no initial state,INVALID_STATE
is returned.- Returns:
- the integer representing the initial state, or
INVALID_STATE
.
-
-