Package net.automatalib.automaton.abstraction

Class UniversalDeterministicAbstractions.StateIntAbstraction<S,I,T,SP,TP,A extends UniversalDeterministicAutomaton<S,I,T,SP,TP>>

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>

net.automatalib.automaton.abstraction.UniversalDeterministicAbstractions.StateIntAbstraction<S,I,T,SP,TP,A>

All Implemented Interfaces:

FiniteRepresentation, DeterministicAutomaton.IntAbstraction<T>, DeterministicAutomaton.StateIntAbstraction<I,T>, SimpleDeterministicAutomaton.IntAbstraction, SimpleDeterministicAutomaton.StateIntAbstraction<I>, UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>

Direct Known Subclasses:

MutableDeterministicAbstraction.StateIntAbstraction

Enclosing interface:

UniversalDeterministicAbstractions

public static class UniversalDeterministicAbstractions.StateIntAbstraction<S,I,T,SP,TP,A extends UniversalDeterministicAutomaton<S,I,T,SP,TP>>
extends DeterministicAbstractions.StateIntAbstraction<S,I,T,A>
implements UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>

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
SP	getStateProperty(int state)	Retrieves the state property of a given (abstracted) state.
TP	getTransitionProperty(T transition)	Retrieves the transition property of a given transition.

Methods inherited from class net.automatalib.automaton.abstraction.DeterministicAbstractions.StateIntAbstraction

getIntSuccessor, getTransition

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

getIntSuccessor

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

getSuccessor, getTransition

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

size

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

getIntInitialState

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

getTransitionProperty

Constructor Detail

StateIntAbstraction

public StateIntAbstraction(A automaton)

Method Detail

getStateProperty

public SP getStateProperty(int state)

Description copied from interface: UniversalDeterministicAutomaton.IntAbstraction

Retrieves the state property of a given (abstracted) state.

Specified by:

getStateProperty in interface UniversalDeterministicAutomaton.IntAbstraction<S,I,T>

Parameters:

state - the integer representing the state of which to retrieve the property

Returns:

the property for the given state

getTransitionProperty

public TP getTransitionProperty(T transition)

Description copied from interface: UniversalDeterministicAutomaton.IntAbstraction

Retrieves the transition property of a given transition.

Specified by:

getTransitionProperty in interface UniversalDeterministicAutomaton.IntAbstraction<S,I,T>

Parameters:

transition - the transition of which to retrieve the property

Returns:

the property for the given transition