net.automatalib.automata.simple

Interface SimpleDeterministicAutomaton.FullIntAbstraction

All Superinterfaces:

SimpleDeterministicAutomaton.IntAbstraction

All Known Subinterfaces:

DeterministicAutomaton.FullIntAbstraction<T>, MutableDeterministic.FullIntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>

All Known Implementing Classes:

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

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

Author:

Malte Isberner

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,A extends SimpleDeterministicAutomaton.StateIntAbstraction<I>> Base class implementing the default way of obtaining a SimpleDeterministicAutomaton.FullIntAbstraction, i.e., building on top of a SimpleDeterministicAutomaton.StateIntAbstraction and a mapping from integers to (concrete) input symbols.

Field Summary

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

INVALID_STATE

Method Summary

Modifier and Type	Method and 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.automata.simple.SimpleDeterministicAutomaton.IntAbstraction

getIntInitialState, size

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