public static interface IncrementalDFABuilder.TransitionSystemView<S,I,T> extends UniversalDTS<S,I,T,Acceptance,Void>
Modifier and Type | Method and Description |
---|---|
Acceptance |
getAcceptance(S state) |
getTransitionProperty
getStateProperty, getTransitionProperty
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getSuccessor, powersetView
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, createStaticStateMapping, getSuccessors
Acceptance getAcceptance(S state)
Copyright © 2020. All rights reserved.