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 an integer abstraction that abstracts both states and input symbols to integers. In addition to the modalities specified in SimpleDeterministicAutomaton.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

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 state

input - 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