public class IncrementalMealyDAGBuilder.AutomatonView extends AbstractIncrementalMealyBuilder.AbstractTransitionSystemView<I,O,State,TransitionRecord>
Constructor and Description |
---|
AutomatonView() |
Modifier and Type | Method and Description |
---|---|
State |
getInitialState()
Retrieves the initial state of this transition system.
|
State |
getSuccessor(TransitionRecord transition)
Retrieves the successor state of a given transition.
|
TransitionRecord |
getTransition(State state,
I input)
Retrieves the transition triggered by the given input symbol.
|
O |
getTransitionOutput(TransitionRecord transition) |
getOutput, getStateProperty, getTransitionProperty, trace, trace
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 State getSuccessor(TransitionRecord transition)
TransitionSystem
transition
- the transition.public State getInitialState()
SimpleDTS
SimpleTS.getInitialStates()
public TransitionRecord getTransition(State state, I input)
DeterministicTransitionSystem
state
- the source state.input
- the input symbol.null
if no transition is triggered.TransitionSystem.getTransitions(Object, Object)
public O getTransitionOutput(TransitionRecord transition)
Copyright © 2015. All rights reserved.