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 (see SimpleDeterministicAutomaton.StateIntAbstraction and SimpleDeterministicAutomaton.FullIntAbstraction).

Field Summary

Fields

Modifier and Type	Field	Description
static int	INVALID_STATE	Representative for an invalid state.

Method Summary

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 return null 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.