Package net.automatalib.automaton.abstraction

Class DeterministicAbstractions.StateIntAbstraction<S,I,T,A extends DeterministicAutomaton<S,I,T>>

java.lang.Object

net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.IntAbstraction<S,A>

net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.StateIntAbstraction<S,I,A>

net.automatalib.automaton.abstraction.DeterministicAbstractions.StateIntAbstraction<S,I,T,A>

All Implemented Interfaces:

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

Direct Known Subclasses:

UniversalDeterministicAbstractions.StateIntAbstraction

Enclosing interface:

DeterministicAbstractions

public static class DeterministicAbstractions.StateIntAbstraction<S,I,T,A extends DeterministicAutomaton<S,I,T>>
extends SimpleDeterministicAbstractions.StateIntAbstraction<S,I,A>
implements DeterministicAutomaton.StateIntAbstraction<I,T>

Field Summary

Fields inherited from class net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.IntAbstraction

automaton, stateIds

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

INVALID_STATE

Constructor Summary

Constructors

Constructor	Description
StateIntAbstraction(A automaton)

Method Summary

Modifier and Type	Method	Description
int	getIntSuccessor(T transition)	Retrieves the (abstracted) successor of a transition object.
@Nullable 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 class net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.StateIntAbstraction

getSuccessor

Methods inherited from class net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.IntAbstraction

getIntInitialState, intToState, safeIntToState, safeStateToInt, size, stateToInt

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

getSuccessor

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

size

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

getIntInitialState

Constructor Detail

StateIntAbstraction

public StateIntAbstraction(A automaton)

Method Detail

getIntSuccessor

public int getIntSuccessor(T transition)

Description copied from interface: DeterministicAutomaton.IntAbstraction

Retrieves the (abstracted) successor of a transition object.

Specified by:

getIntSuccessor in interface DeterministicAutomaton.IntAbstraction<S>

Parameters:

transition - the transition object

Returns:

the integer representing the successor of the given transition

getTransition

public @Nullable T getTransition(int state,
                                 I input)

Description copied from interface: DeterministicAutomaton.StateIntAbstraction

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.

Specified by:

getTransition in interface DeterministicAutomaton.StateIntAbstraction<S,I>

Parameters:

state - the integer representing the source state

input - the input symbol

Returns:

the outgoing transition, or null