public class IncrementalDFATreeBuilder.TransitionSystemView extends AbstractIncrementalDFABuilder.AbstractTransitionSystemView<Node<I>,I,Node<I>>
Constructor and Description |
---|
TransitionSystemView() |
Modifier and Type | Method and Description |
---|---|
Acceptance |
getAcceptance(Node<I> state) |
Node<I> |
getInitialState() |
Node<I> |
getSuccessor(Node<I> transition) |
@Nullable Node<I> |
getTransition(Node<I> state,
I input) |
getStateProperty, getTransitionProperty
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getTransitionProperty
getSuccessor, getSuccessors, getTransitions, transToSet
powersetView
getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, createStaticStateMapping, getSuccessors
Copyright © 2020. All rights reserved.