net.automatalib.automata

Class UniversalDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,T,SP,TP,A extends UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>>

java.lang.Object

net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,A>

net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,T,A>

net.automatalib.automata.UniversalDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,T,SP,TP,A>

All Implemented Interfaces:

DeterministicAutomaton.FullIntAbstraction<T>, DeterministicAutomaton.IntAbstraction<T>, SimpleDeterministicAutomaton.FullIntAbstraction, SimpleDeterministicAutomaton.IntAbstraction, UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>

Direct Known Subclasses:

MutableDeterministic.FullIntAbstraction.DefaultAbstraction

Enclosing interface:

UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>

public static class UniversalDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,T,SP,TP,A extends UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>>
extends DeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,T,A>
implements UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.automata.UniversalDeterministicAutomaton.FullIntAbstraction

UniversalDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,T,SP,TP,A extends UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>>

Field Summary

Fields inherited from class net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction

numInputs, stateAbstraction, symMapping

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

INVALID_STATE

Constructor Summary

Constructors

Constructor and Description
DefaultAbstraction(A stateAbstraction, int numInputs, IntFunction<? extends I> symMapping)

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 class net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction.DefaultAbstraction

getIntSuccessor, getTransition

Methods inherited from class net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction

getIntInitialState, getSuccessor, intToSym, numInputs, size

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.automatalib.automata.UniversalDeterministicAutomaton.FullIntAbstraction

getTransitionProperty

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

getSuccessor, getTransition

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

getIntSuccessor

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

numInputs

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

getIntInitialState, size

Constructor Detail

DefaultAbstraction

public DefaultAbstraction(A stateAbstraction,
                          int numInputs,
                          IntFunction<? extends I> symMapping)

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<T,SP,TP>

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<T,SP,TP>

Parameters:

transition - the transition of which to retrieve the property

Returns:

the property for the given transition