Package net.automatalib.ts.output

Interface MooreTransitionSystem<S,I,T,O>

All Superinterfaces:

DeterministicOutputTS<S,I,T,O>, DeterministicStateOutputTS<S,I,T,O>, DeterministicTransitionSystem<S,I,T>, SimpleDTS<S,I>, SimpleTS<S,I>, StateOutput<S,O>, TransitionSystem<S,I,T>, UniversalDTS<S,I,T,O,Void>, UniversalTransitionSystem<S,I,T,O,Void>

All Known Subinterfaces:

MooreMachine<S,I,T,O>, MutableMooreMachine<S,I,T,O>

All Known Implementing Classes:

CompactMoore, FastMoore

public interface MooreTransitionSystem<S,I,T,O>
extends DeterministicStateOutputTS<S,I,T,O>, UniversalDTS<S,I,T,O,Void>

Method Summary

Modifier and Type	Method	Description
default O	getStateProperty(S state)	Retrieves the state property for the given state.
default Void	getTransitionProperty(S state, I input)	Retrieves the transition property of the outgoing transition corresponding to the given state and input, if it exists.
default Void	getTransitionProperty(T transition)	Retrieves the transition property for the given state.

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

trace

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

trace

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransition, getTransitions

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

getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors

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

createDynamicStateMapping, createStaticStateMapping, getSuccessors

Methods inherited from interface net.automatalib.automaton.concept.StateOutput

getStateOutput

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, powersetView

Method Detail

getTransitionProperty

default Void getTransitionProperty(S state,
                                   I input)

Description copied from interface: UniversalDTS

Retrieves the transition property of the outgoing transition corresponding to the given state and input, if it exists. Otherwise, null is returned.

Note that this method alone is insufficient for determining whether a transition actually exists, as null might either be property of an existing transition, or indicate that the transition does not exist.

Specified by:

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

Parameters:

state - the source state

input - the input symbol

Returns:

the property of the outgoing transition, or null

getTransitionProperty

default Void 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,O,Void>

Parameters:

transition - the transition.

Returns:

the corresponding property.

getStateProperty

default O 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,O,Void>

Parameters:

state - the state.

Returns:

the corresponding property.