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
getInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitions
createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getTransitions, powersetView
getState, getSuccessor, getSuccessor
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, 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.