public class IncrementalMealyTreeBuilder.TransitionSystemView extends AbstractIncrementalMealyBuilder.AbstractTransitionSystemView<I,O,net.automatalib.incremental.mealy.tree.Node<I,O>,net.automatalib.incremental.mealy.tree.Edge<I,O>>
Constructor and Description |
---|
TransitionSystemView() |
Modifier and Type | Method and Description |
---|---|
net.automatalib.incremental.mealy.tree.Node<I,O> |
getInitialState()
Retrieves the initial state of this transition system.
|
net.automatalib.incremental.mealy.tree.Node<I,O> |
getSuccessor(net.automatalib.incremental.mealy.tree.Edge<I,O> transition)
Retrieves the successor state of a given transition.
|
net.automatalib.incremental.mealy.tree.Edge<I,O> |
getTransition(net.automatalib.incremental.mealy.tree.Node<I,O> state,
I input)
Retrieves the transition triggered by the given input symbol.
|
O |
getTransitionOutput(net.automatalib.incremental.mealy.tree.Edge<I,O> 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 net.automatalib.incremental.mealy.tree.Edge<I,O> getTransition(net.automatalib.incremental.mealy.tree.Node<I,O> state, I input)
DeterministicTransitionSystem
state
- the source state.input
- the input symbol.null
if no transition is triggered.TransitionSystem.getTransitions(Object, Object)
public net.automatalib.incremental.mealy.tree.Node<I,O> getSuccessor(net.automatalib.incremental.mealy.tree.Edge<I,O> transition)
TransitionSystem
transition
- the transition.public net.automatalib.incremental.mealy.tree.Node<I,O> getInitialState()
SimpleDTS
SimpleTS.getInitialStates()
Copyright © 2015. All rights reserved.