public static class UniversalDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction<S,I,T,SP,TP,A extends UniversalDeterministicAutomaton<S,I,T,SP,TP>> extends DeterministicAutomaton.StateIntAbstraction.DefaultAbstraction<S,I,T,A> implements UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>
UniversalDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction<S,I,T,SP,TP,A extends UniversalDeterministicAutomaton<S,I,T,SP,TP>>
automaton, stateIds
INVALID_STATE
Constructor and Description |
---|
DefaultAbstraction(A automaton) |
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
getSuccessor
getIntInitialState, intToState, size, stateToInt
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getTransitionProperty
getSuccessor, getTransition
getIntSuccessor
getIntInitialState, size
public DefaultAbstraction(A automaton)
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 © 2015. All rights reserved.