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
@Nonnull Acceptance getAcceptance(@Nonnull S state)
Copyright © 2018. All rights reserved.