net.automatalib.automata

Interface DeterministicAutomaton.StateIntAbstraction<I,T>

Type Parameters:

I - input symbol type

T - transition type

All Superinterfaces:

DeterministicAutomaton.IntAbstraction<T>, SimpleDeterministicAutomaton.IntAbstraction, SimpleDeterministicAutomaton.StateIntAbstraction<I>

All Known Subinterfaces:

MutableDeterministic.StateIntAbstraction<I,T,SP,TP>, UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>

All Known Implementing Classes:

DeterministicAutomaton.StateIntAbstraction.DefaultAbstraction, MutableDeterministic.StateIntAbstraction.DefaultAbstraction, UniversalDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction

Enclosing interface:

DeterministicAutomaton<S,I,T>

public static interface DeterministicAutomaton.StateIntAbstraction<I,T>
extends DeterministicAutomaton.IntAbstraction<T>, SimpleDeterministicAutomaton.StateIntAbstraction<I>

Interface for state integer abstractions of a DeterministicAutomaton.

Author:

Malte Isberner

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	DeterministicAutomaton.StateIntAbstraction.DefaultAbstraction<S,I,T,A extends DeterministicAutomaton<S,I,T>>

Field Summary

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

INVALID_STATE

Method Summary

Modifier and Type	Method and Description
default int	getSuccessor(int state, I input) Retrieves the (abstracted) successor state for a given (abstracted) source state and input symbol.
T	getTransition(int state, I input) Retrieves the outgoing transition for an (abstracted) source state and input symbol, or returns null if the automaton has no transition for this state and input.

Methods inherited from interface net.automatalib.automata.DeterministicAutomaton.IntAbstraction

getIntSuccessor

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

getIntInitialState, size

Method Detail

getSuccessor

default int getSuccessor(int state,
                         I input)

Description copied from interface: SimpleDeterministicAutomaton.StateIntAbstraction

Retrieves the (abstracted) successor state for a given (abstracted) source state and input symbol.

Specified by:

getSuccessor in interface SimpleDeterministicAutomaton.StateIntAbstraction<I>

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.

getTransition

T getTransition(int state,
                I input)

Retrieves the outgoing transition for an (abstracted) source state and input symbol, or returns null if the automaton has no transition for this state and input.

Parameters:

state - the integer representing the source state

input - the input symbol

Returns:

the outgoing transition, or null