net.automatalib.incremental.mealy

Class AbstractIncrementalMealyBuilder.AbstractTransitionSystemView<I,O,S,T>

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,S,T>

All Implemented Interfaces:

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

Direct Known Subclasses:

IncrementalMealyDAGBuilder.AutomatonView, IncrementalMealyTreeBuilder.TransitionSystemView

Enclosing class:

AbstractIncrementalMealyBuilder<I,O>

public abstract static class AbstractIncrementalMealyBuilder.AbstractTransitionSystemView<I,O,S,T>
extends AbstractDTS<S,I,T>
implements IncrementalMealyBuilder.TransitionSystemView<I,O,S,T>

Constructor Summary

Constructors

Constructor and Description
AbstractIncrementalMealyBuilder.AbstractTransitionSystemView()

Method Summary

Methods

Modifier and Type	Method and Description
O	getOutput(S state, I input)
Void	getStateProperty(S state)
O	getTransitionProperty(T transition)
boolean	trace(Iterable<? extends I> input, List<? super O> output)
boolean	trace(S state, Iterable<? extends I> input, List<? super O> output)

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.automata.concepts.TransitionOutput

getTransitionOutput

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

Constructor Detail

AbstractIncrementalMealyBuilder.AbstractTransitionSystemView

public AbstractIncrementalMealyBuilder.AbstractTransitionSystemView()

Method Detail

getOutput

public O getOutput(S state,
          I input)

Specified by:

getOutput in interface DeterministicTransitionOutputTS<S,I,T,O>

trace

public boolean trace(Iterable<? extends I> input,
            List<? super O> output)

Specified by:

trace in interface DeterministicTransitionOutputTS<S,I,T,O>

trace

public boolean trace(S state,
            Iterable<? extends I> input,
            List<? super O> output)

Specified by:

trace in interface DeterministicTransitionOutputTS<S,I,T,O>

getStateProperty

public Void getStateProperty(S state)

Specified by:

getStateProperty in interface UniversalTransitionSystem<S,I,T,Void,O>

getTransitionProperty

public O getTransitionProperty(T transition)

Specified by:

getTransitionProperty in interface UniversalTransitionSystem<S,I,T,Void,O>