net.automatalib.incremental.mealy

Interface IncrementalMealyBuilder.TransitionSystemView<I,O,S,T>

All Superinterfaces:

DeterministicTransitionOutputTS<S,I,T,O>, DeterministicTransitionSystem<S,I,T>, MealyTransitionSystem<S,I,T,O>, SimpleDTS<S,I>, SimpleTS<S,I>, TransitionOutput<T,O>, TransitionSystem<S,I,T>, UniversalDTS<S,I,T,Void,O>, UniversalTransitionSystem<S,I,T,Void,O>

All Known Implementing Classes:

AbstractIncrementalMealyBuilder.AbstractTransitionSystemView, IncrementalMealyDAGBuilder.AutomatonView, IncrementalMealyTreeBuilder.TransitionSystemView

Enclosing interface:

IncrementalMealyBuilder<I,O>

public static interface IncrementalMealyBuilder.TransitionSystemView<I,O,S,T>
extends MealyTransitionSystem<S,I,T,O>

Method Summary

Methods inherited from interface net.automatalib.ts.transout.DeterministicTransitionOutputTS

getOutput, trace, trace

Methods inherited from interface net.automatalib.automata.concepts.TransitionOutput

getTransitionOutput

Methods inherited from interface net.automatalib.ts.UniversalTransitionSystem

getStateProperty, getTransitionProperty

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getTransition

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, getTransitions, powersetView

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

getInitialState, getState, getSuccessor, getSuccessor

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

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