T
- transition typepublic static interface DeterministicAutomaton.IntAbstraction<T> extends SimpleDeterministicAutomaton.IntAbstraction
integer abstractions
of a DeterministicAutomaton
.SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction<S,A extends SimpleDeterministicAutomaton<S,?>>
INVALID_STATE
Modifier and Type | Method and Description |
---|---|
int |
getIntSuccessor(T transition)
Retrieves the (abstracted) successor of a transition object.
|
getIntInitialState, size
int getIntSuccessor(T transition)
transition
- the transition objectCopyright © 2020. All rights reserved.