T
- transition typeSP
- state property typeTP
- transition property typepublic static interface UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP> extends DeterministicAutomaton.IntAbstraction<T>
integer abstractions
of a
UniversalDeterministicAutomaton
.SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction<S,A extends SimpleDeterministicAutomaton<S,?>>
INVALID_STATE
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
getIntInitialState, size
SP getStateProperty(int state)
state
- the integer representing the state of which to retrieve the propertyCopyright © 2015. All rights reserved.