net.automatalib.ts.output

Interface MealyTransitionSystem<S,I,T,O>

All Superinterfaces:

DeterministicOutputTS<S,I,T,O>, DeterministicTransitionOutputTS<S,I,T,O>, DeterministicTransitionSystem<S,I,T>, 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 Subinterfaces:

Lasso.MealyLasso<I,O>, MealyMachine<S,I,T,O>, MutableMealyMachine<S,I,T,O>, StateLocalInputMealyMachine<S,I,T,O>

All Known Implementing Classes:

AbstractIncrementalMealyTreeBuilder.TransitionSystemView, CompactMealy, DetMealyComposition, FastMealy, IncrementalMealyDAGBuilder.AutomatonView, MealyLassoImpl

public interface MealyTransitionSystem<S,I,T,O>
extends DeterministicTransitionOutputTS<S,I,T,O>, UniversalDTS<S,I,T,Void,O>

Method Summary

Modifier and Type	Method and Description
default Void	getStateProperty(S state) Retrieves the state property for the given state.
default O	getTransitionProperty(T transition) Retrieves the transition property for the given state.

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

getOutput, trace

Methods inherited from interface net.automatalib.ts.output.DeterministicOutputTS

trace

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransition, getTransitions, transToSet

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, powersetView

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

getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet

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

createDynamicStateMapping, createStaticStateMapping, getSuccessors

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

getTransitionOutput

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Method Detail

getStateProperty

default 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

default 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.