net.automatalib.incremental.mealy.tree

Class IncrementalMealyTreeBuilder.TransitionSystemView

java.lang.Object

net.automatalib.ts.abstractimpl.AbstractTS<S,I,T>

net.automatalib.ts.abstractimpl.AbstractDTS<S,I,T>

net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder.AbstractTransitionSystemView<I,O,net.automatalib.incremental.mealy.tree.Node<I,O>,net.automatalib.incremental.mealy.tree.Edge<I,O>>

net.automatalib.incremental.mealy.tree.IncrementalMealyTreeBuilder.TransitionSystemView

All Implemented Interfaces:

TransitionOutput<net.automatalib.incremental.mealy.tree.Edge<I,O>,O>, IncrementalMealyBuilder.TransitionSystemView<I,O,net.automatalib.incremental.mealy.tree.Node<I,O>,net.automatalib.incremental.mealy.tree.Edge<I,O>>, DeterministicTransitionSystem<net.automatalib.incremental.mealy.tree.Node<I,O>,I,net.automatalib.incremental.mealy.tree.Edge<I,O>>, SimpleDTS<net.automatalib.incremental.mealy.tree.Node<I,O>,I>, SimpleTS<net.automatalib.incremental.mealy.tree.Node<I,O>,I>, TransitionSystem<net.automatalib.incremental.mealy.tree.Node<I,O>,I,net.automatalib.incremental.mealy.tree.Edge<I,O>>, DeterministicTransitionOutputTS<net.automatalib.incremental.mealy.tree.Node<I,O>,I,net.automatalib.incremental.mealy.tree.Edge<I,O>,O>, MealyTransitionSystem<net.automatalib.incremental.mealy.tree.Node<I,O>,I,net.automatalib.incremental.mealy.tree.Edge<I,O>,O>, UniversalDTS<net.automatalib.incremental.mealy.tree.Node<I,O>,I,net.automatalib.incremental.mealy.tree.Edge<I,O>,Void,O>, UniversalTransitionSystem<net.automatalib.incremental.mealy.tree.Node<I,O>,I,net.automatalib.incremental.mealy.tree.Edge<I,O>,Void,O>

Enclosing class:

IncrementalMealyTreeBuilder<I,O>

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 Summary

Constructors

Constructor and Description
IncrementalMealyTreeBuilder.TransitionSystemView()

Method Summary

Methods

Modifier and Type	Method and Description
net.automatalib.incremental.mealy.tree.Node<I,O>	getInitialState()
net.automatalib.incremental.mealy.tree.Node<I,O>	getSuccessor(net.automatalib.incremental.mealy.tree.Edge<I,O> transition)
net.automatalib.incremental.mealy.tree.Edge<I,O>	getTransition(net.automatalib.incremental.mealy.tree.Node<I,O> state, I input)
O	getTransitionOutput(net.automatalib.incremental.mealy.tree.Edge<I,O> transition)

Methods inherited from class net.automatalib.incremental.mealy.AbstractIncrementalMealyBuilder.AbstractTransitionSystemView

getOutput, getStateProperty, getTransitionProperty, trace, trace

Methods inherited from class net.automatalib.ts.abstractimpl.AbstractDTS

getInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitions

Methods inherited from class net.automatalib.ts.abstractimpl.AbstractTS

createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface net.automatalib.ts.TransitionSystem

getTransitions, powersetView

Methods inherited from interface net.automatalib.ts.simple.SimpleDTS

getState, getSuccessor, getSuccessor

Methods inherited from interface net.automatalib.ts.simple.SimpleTS

createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors

Constructor Detail

IncrementalMealyTreeBuilder.TransitionSystemView

public IncrementalMealyTreeBuilder.TransitionSystemView()

Method Detail

getTransition

public net.automatalib.incremental.mealy.tree.Edge<I,O> getTransition(net.automatalib.incremental.mealy.tree.Node<I,O> state,
                                                             I input)

getSuccessor

public net.automatalib.incremental.mealy.tree.Node<I,O> getSuccessor(net.automatalib.incremental.mealy.tree.Edge<I,O> transition)

getInitialState

public net.automatalib.incremental.mealy.tree.Node<I,O> getInitialState()

getTransitionOutput

public O getTransitionOutput(net.automatalib.incremental.mealy.tree.Edge<I,O> transition)