net.automatalib.incremental.mealy.dag

Class IncrementalMealyDAGBuilder.AutomatonView

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,State,TransitionRecord>

net.automatalib.incremental.mealy.dag.IncrementalMealyDAGBuilder.AutomatonView

All Implemented Interfaces:

TransitionOutput<TransitionRecord,O>, IncrementalMealyBuilder.TransitionSystemView<I,O,State,TransitionRecord>, DeterministicTransitionSystem<State,I,TransitionRecord>, SimpleDTS<State,I>, SimpleTS<State,I>, TransitionSystem<State,I,TransitionRecord>, DeterministicTransitionOutputTS<State,I,TransitionRecord,O>, MealyTransitionSystem<State,I,TransitionRecord,O>, UniversalDTS<State,I,TransitionRecord,Void,O>, UniversalTransitionSystem<State,I,TransitionRecord,Void,O>

Enclosing class:

IncrementalMealyDAGBuilder<I,O>

public class IncrementalMealyDAGBuilder.AutomatonView
extends AbstractIncrementalMealyBuilder.AbstractTransitionSystemView<I,O,State,TransitionRecord>

Constructor Summary

Constructors

Constructor and Description
IncrementalMealyDAGBuilder.AutomatonView()

Method Summary

Methods

Modifier and Type	Method and Description
State	getInitialState()
State	getSuccessor(TransitionRecord transition)
TransitionRecord	getTransition(State state, I input)
O	getTransitionOutput(TransitionRecord 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

IncrementalMealyDAGBuilder.AutomatonView

public IncrementalMealyDAGBuilder.AutomatonView()

Method Detail

getSuccessor

public State getSuccessor(TransitionRecord transition)

getInitialState

public State getInitialState()

getTransition

public TransitionRecord getTransition(State state,
                             I input)

getTransitionOutput

public O getTransitionOutput(TransitionRecord transition)