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 for integer abstractions of an automaton that operate on non-abstracted input symbols (i.e., input symbols are of type I).

Field Summary

Fields inherited from interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton.IntAbstraction

INVALID_STATE

Method Summary

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 state

input - the input symbol

Returns:

the integer representing the successor state, or SimpleDeterministicAutomaton.IntAbstraction.INVALID_STATE if there is no successor state.