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>
UniversalDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,T,SP,TP,A extends UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>>
numInputs, stateAbstraction, symMapping
INVALID_STATE
Constructor and Description |
---|
DefaultAbstraction(A stateAbstraction,
int numInputs,
IntFunction<? extends I> symMapping) |
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.
|
getIntSuccessor, getTransition
getIntInitialState, getSuccessor, intToSym, numInputs, size
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getTransitionProperty
getSuccessor, getTransition
getIntSuccessor
numInputs
getIntInitialState, size
public DefaultAbstraction(A stateAbstraction, int numInputs, IntFunction<? extends I> symMapping)
public SP getStateProperty(int state)
UniversalDeterministicAutomaton.IntAbstraction
getStateProperty
in interface UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>
state
- the integer representing the state of which to retrieve the propertypublic TP getTransitionProperty(T transition)
UniversalDeterministicAutomaton.IntAbstraction
getTransitionProperty
in interface UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>
transition
- the transition of which to retrieve the propertyCopyright © 2020. All rights reserved.