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
AbstractTransitionSystemView()

Method Summary

Modifier and Type	Method and Description
O	getOutput(S state, I input) Retrieves the output for the given input symbol in the given state.
Void	getStateProperty(S state) Retrieves the state property for the given state.
O	getTransitionProperty(T transition) Retrieves the transition property for the given state.
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

AbstractTransitionSystemView

public AbstractTransitionSystemView()

Method Detail

getOutput

public O getOutput(S state,
                   I input)

Description copied from interface: DeterministicTransitionOutputTS

Retrieves the output for the given input symbol in the given state. This is roughly equivalent to calling TransitionOutput.getTransitionOutput(Object) on the transition returned by DeterministicTransitionSystem.getTransition(Object, Object), however it should be noted that this function does not allow distinguishing between a null output and an undefined transition.

Specified by:

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

Parameters:

state - the source state

input - the input symbol

Returns:

the output symbol (or null if the transition is undefined)

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)

Description copied from interface: UniversalTransitionSystem

Retrieves the state property for the given state.

Specified by:

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

Parameters:

state - the state.

Returns:

the corresponding property.

getTransitionProperty

public O getTransitionProperty(T transition)

Description copied from interface: UniversalTransitionSystem

Retrieves the transition property for the given state.

Specified by:

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

Parameters:

transition - the transition.

Returns:

the corresponding property.