@ParametersAreNonnullByDefault 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()
Retrieves the initial state of this transition system.
|
Node<I> |
getSuccessor(Node<I> transition)
Retrieves the successor state of a given transition.
|
Node<I> |
getTransition(Node<I> state,
I input)
Retrieves the transition triggered by the given input symbol.
|
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
@Nonnull public Node<I> getSuccessor(Node<I> transition)
TransitionSystem
transition
- the transition.@Nullable public Node<I> getTransition(Node<I> state, I input)
DeterministicTransitionSystem
state
- the source state.input
- the input symbol.null
if no transition is triggered.TransitionSystem.getTransitions(Object, Object)
@Nonnull public Node<I> getInitialState()
SimpleDTS
SimpleTS.getInitialStates()
@Nonnull public Acceptance getAcceptance(Node<I> state)
Copyright © 2015. All rights reserved.