public static interface MutableDeterministic.FullIntAbstraction<T,SP,TP> extends MutableDeterministic.IntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>
Modifier and Type | Interface and Description |
---|---|
static class |
MutableDeterministic.FullIntAbstraction.DefaultAbstraction<I,T,SP,TP,A extends MutableDeterministic.StateIntAbstraction<I,T,SP,TP>> |
INVALID_STATE
Modifier and Type | Method and Description |
---|---|
void |
setTransition(int state,
int input,
int successor,
TP property) |
void |
setTransition(int state,
int input,
T transition) |
addIntInitialState, addIntInitialState, addIntState, addIntState, createTransition, setInitialState, setStateProperty, setTransitionProperty
getTransitionProperty
getStateProperty, getTransitionProperty
getSuccessor, getTransition
getIntSuccessor
numInputs
getIntInitialState, size
Copyright © 2019. All rights reserved.