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
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 © 2015. All rights reserved.