public static interface MutableDeterministic.IntAbstraction<T,SP,TP> extends UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>
SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction<S,A extends SimpleDeterministicAutomaton<S,?>>
INVALID_STATE
Modifier and Type | Method and Description |
---|---|
default int |
addIntInitialState() |
int |
addIntInitialState(SP property) |
default int |
addIntState() |
int |
addIntState(SP property) |
T |
createTransition(int successor,
TP property) |
void |
setInitialState(int state) |
void |
setStateProperty(int state,
SP property) |
void |
setTransitionProperty(T transition,
TP property) |
getStateProperty, getTransitionProperty
getIntSuccessor
getIntInitialState, size
Copyright © 2019. All rights reserved.