net.automatalib.automata.simple

Interface SimpleDeterministicAutomaton.IntAbstraction

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:

DeterministicAutomaton.FullIntAbstraction.DefaultAbstraction, DeterministicAutomaton.StateIntAbstraction.DefaultAbstraction, MutableDeterministic.FullIntAbstraction.DefaultAbstraction, MutableDeterministic.StateIntAbstraction.DefaultAbstraction, SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction, SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction, SimpleDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction, UniversalDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction, UniversalDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction

Enclosing interface:

SimpleDeterministicAutomaton<S,I>

public static interface SimpleDeterministicAutomaton.IntAbstraction

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).

Author:

Malte Isberner

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction<S,A extends SimpleDeterministicAutomaton<S,?>> Base class implementing the default way of obtaining an integer abstraction from an automaton, i.e., by mapping states to integers and vice versa using the StateIDs mapping obtained via SimpleAutomaton.stateIDs().

Field Summary

Fields

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

Method Summary

Modifier and Type	Method and Description
int	getIntInitialState() Retrieves the initial state of the (abstracted) automaton as an integer.
int	size() Retrieves the number of states of the (abstracted) automaton.

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 of the range [0, size() - 1] is invalid, in particular all negative integers.

See Also:

Constant Field Values

Method Detail

size

int size()

Retrieves the number of states of the (abstracted) automaton.

Returns:

the number of states.

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.