public class IncrementalPCDFATreeBuilder.TransitionSystemView extends IncrementalDFATreeBuilder.TransitionSystemView
Constructor and Description |
---|
TransitionSystemView() |
Modifier and Type | Method and Description |
---|---|
Node<I> |
getTransition(Node<I> state,
I input)
Retrieves the transition triggered by the given input symbol.
|
getAcceptance, getInitialState, getSuccessor
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
public Node<I> getTransition(Node<I> state, I input)
DeterministicTransitionSystem
getTransition
in interface DeterministicTransitionSystem<Node<I>,I,Node<I>>
getTransition
in class IncrementalDFATreeBuilder.TransitionSystemView
state
- the source state.input
- the input symbol.null
if no transition is triggered.TransitionSystem.getTransitions(Object, Object)
Copyright © 2018. All rights reserved.