Package net.automatalib.automaton

Interface DeterministicAutomaton.FullIntAbstraction<T>

Type Parameters:

T - transition type

All Superinterfaces:

DeterministicAutomaton.IntAbstraction<T>, FiniteRepresentation, SimpleDeterministicAutomaton.FullIntAbstraction, SimpleDeterministicAutomaton.IntAbstraction

All Known Subinterfaces:

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

All Known Implementing Classes:

AbstractCompactDeterministic, AbstractCompactSimpleDeterministic, CompactDFA, CompactMealy, CompactMoore, CompactSST, DeterministicAbstractions.FullIntAbstraction, MutableDeterministicAbstraction.FullIntAbstraction, UniversalCompactDet, UniversalCompactSimpleDet, UniversalDeterministicAbstractions.FullIntAbstraction

Enclosing interface:

DeterministicAutomaton<S,I,T>

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

Interface for full integer abstractions of a DeterministicAutomaton.

Field Summary

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

INVALID_STATE

Method Summary

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

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

getIntSuccessor

Methods inherited from interface net.automatalib.automaton.concept.FiniteRepresentation

size

Methods inherited from interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton.FullIntAbstraction

numInputs

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

getIntInitialState

Method Detail

getSuccessor

default int getSuccessor(int state,
                         int input)

Description copied from interface: SimpleDeterministicAutomaton.FullIntAbstraction

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

Specified by:

getSuccessor in interface SimpleDeterministicAutomaton.FullIntAbstraction

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.

getTransition

@Nullable T getTransition(int state,
                          int input)

Retrieves the outgoing transition for an (abstracted) source state and (abstracted) 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 integer representing the input symbol

Returns:

the outgoing transition, or null