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) |
getStateProperty, getTransitionProperty
getTransition
getSuccessor, getTransitions, powersetView
getInitialState, getState, getSuccessor, getSuccessor
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
@Nonnull Acceptance getAcceptance(@Nonnull S state)
Copyright © 2015. All rights reserved.