net.automatalib.automata

Interface UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>

Type Parameters:

T - transition type

SP - state property type

TP - transition property type

All Superinterfaces:

DeterministicAutomaton.IntAbstraction<T>, SimpleDeterministicAutomaton.IntAbstraction

All Known Subinterfaces:

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

All Known Implementing Classes:

MutableDeterministic.FullIntAbstraction.DefaultAbstraction, MutableDeterministic.StateIntAbstraction.DefaultAbstraction, UniversalDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction, UniversalDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction

Enclosing interface:

UniversalDeterministicAutomaton<S,I,T,SP,TP>

public static interface UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>
extends DeterministicAutomaton.IntAbstraction<T>

Base interface for integer abstractions of a UniversalDeterministicAutomaton.

Author:

Malte Isberner

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction

SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction<S,A extends SimpleDeterministicAutomaton<S,?>>

Field Summary

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

INVALID_STATE

Method Summary

Modifier and Type	Method and 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 interface net.automatalib.automata.DeterministicAutomaton.IntAbstraction

getIntSuccessor

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

getIntInitialState, size

Method Detail

getStateProperty

SP getStateProperty(int state)

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

Parameters:

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

Returns:

the property for the given state

getTransitionProperty

TP getTransitionProperty(T transition)

Retrieves the transition property of a given transition.

Parameters:

transition - the transition of which to retrieve the property

Returns:

the property for the given transition