T
- transition typeSP
- state property typeTP
- transition property typepublic static interface UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP> extends UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>, DeterministicAutomaton.FullIntAbstraction<T>
full integer abstractions
of a UniversalDeterministicAutomaton
.Modifier and Type | Interface and Description |
---|---|
static class |
UniversalDeterministicAutomaton.FullIntAbstraction.DefaultAbstraction<I,T,SP,TP,A extends UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>> |
INVALID_STATE
Modifier and Type | Method and Description |
---|---|
default TP |
getTransitionProperty(int state,
int input) |
getStateProperty, getTransitionProperty
getSuccessor, getTransition
getIntSuccessor
numInputs
getIntInitialState, size
default TP getTransitionProperty(int state, int input)
Copyright © 2018. All rights reserved.