Module net.automatalib.core

Package net.automatalib.automaton.mmlt.impl

Class DefaultMMLTSemantics<S,I,T,O>

java.lang.Object

net.automatalib.automaton.mmlt.impl.DefaultMMLTSemantics<S,I,T,O>

Type Parameters:

S - location type of the original MMLT

I - input symbol of the original MMLT

T - transition type of the original MMLT

O - output symbol type of the original MMLT

All Implemented Interfaces:

InitialState<State<S,O>>, InitialStates<State<S,O>>, InputAlphabetHolder<TimedInput<I>>, Output<TimedInput<I>,Word<TimedOutput<O>>>, SuffixOutput<TimedInput<I>,Word<TimedOutput<O>>>, TransitionOutput<MealyTransition<State<S,O>,TimedOutput<O>>,TimedOutput<O>>, MMLTSemantics<S,I,MealyTransition<State<S,O>,TimedOutput<O>>,O>, DeterministicOutputTS<State<S,O>,TimedInput<I>,MealyTransition<State<S,O>,TimedOutput<O>>,Word<TimedOutput<O>>>, DeterministicSuffixOutputTS<State<S,O>,TimedInput<I>,MealyTransition<State<S,O>,TimedOutput<O>>,Word<TimedOutput<O>>>, OutputTS<State<S,O>,TimedInput<I>,MealyTransition<State<S,O>,TimedOutput<O>>,Word<TimedOutput<O>>>, DeterministicTransitionSystem<State<S,O>,TimedInput<I>,MealyTransition<State<S,O>,TimedOutput<O>>>, DeterministicTraceableTS<State<S,O>,TimedInput<I>,MealyTransition<State<S,O>,TimedOutput<O>>,TimedOutput<O>>, DeterministicTransitionOutputTS<State<S,O>,TimedInput<I>,MealyTransition<State<S,O>,TimedOutput<O>>,TimedOutput<O>>, MealyTransitionSystem<State<S,O>,TimedInput<I>,MealyTransition<State<S,O>,TimedOutput<O>>,TimedOutput<O>>, SimpleDTS<State<S,O>,TimedInput<I>>, SimpleTS<State<S,O>,TimedInput<I>>, TransitionSystem<State<S,O>,TimedInput<I>,MealyTransition<State<S,O>,TimedOutput<O>>>, UniversalDTS<State<S,O>,TimedInput<I>,MealyTransition<State<S,O>,TimedOutput<O>>,Void,TimedOutput<O>>, UniversalTransitionSystem<State<S,O>,TimedInput<I>,MealyTransition<State<S,O>,TimedOutput<O>>,Void,TimedOutput<O>>

public class DefaultMMLTSemantics<S,I,T,O>
extends Object
implements MMLTSemantics<S,I,MealyTransition<State<S,O>,TimedOutput<O>>,O>

Default implementation for an MMLTSemantics that wraps arbitrary MMLTs.

Constructor Summary

Constructors

Constructor	Description
DefaultMMLTSemantics(MMLT<S,I,T,O> model)

Method Summary

Modifier and Type	Method	Description
@Nullable State<S,O>	getInitialState()	Retrieves the initial state of a transition system.
Alphabet<TimedInput<I>>	getInputAlphabet()
TimedOutput<O>	getSilentOutput()	Returns the symbol used for silent outputs.
State<S,O>	getSuccessor(MealyTransition<State<S,O>,TimedOutput<O>> transition)	Retrieves the successor state of a given transition.
MealyTransition<State<S,O>,TimedOutput<O>>	getTransition(State<S,O> source, TimedInput<I> input)	Retrieves the transition triggered by the given input symbol.
MealyTransition<State<S,O>,TimedOutput<O>>	getTransition(State<S,O> source, TimedInput<I> input, long maxWaitingTime)	Retrieves the transition in the semantics automaton that has the provided input and source configuration.
TimedOutput<O>	getTransitionOutput(MealyTransition<State<S,O>,TimedOutput<O>> transition)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

computeStateOutput, computeSuffixOutput, trace

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

getOutput, trace

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransitions, powersetView

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

getInitialStates

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

getStateProperty, getTransitionProperty

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

getState, getStates, getSuccessor

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

createDynamicStateMapping, createStaticStateMapping, getSuccessors

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

computeOutput

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Constructor Details

DefaultMMLTSemantics

public DefaultMMLTSemantics(MMLT<S,I,T,O> model)

Method Details

getInputAlphabet

public Alphabet<TimedInput<I>> getInputAlphabet()

Specified by:

getInputAlphabet in interface InputAlphabetHolder<S>

getSilentOutput

public TimedOutput<O> getSilentOutput()

Description copied from interface: MMLTSemantics

Returns the symbol used for silent outputs.

Specified by:

getSilentOutput in interface MMLTSemantics<S,I,T,O>

Returns:

the silent output symbol

getInitialState

public @Nullable State<S,O> getInitialState()

Description copied from interface: InitialState

Retrieves the initial state of a transition system.

Specified by:

getInitialState in interface InitialState<S>

Returns:

the initial state

See Also:

• InitialStates.getInitialStates()

getTransition

public MealyTransition<State<S,O>,TimedOutput<O>> getTransition(State<S,O> source,
 TimedInput<I> input)

Description copied from interface: DeterministicTransitionSystem

Retrieves the transition triggered by the given input symbol.

Specified by:

getTransition in interface DeterministicTransitionSystem<S,I,T>

Parameters:

source - the source state.

input - the input symbol.

Returns:

the transition triggered by the given input symbol, or null if no transition is triggered.

See Also:

• TransitionSystem.getTransitions(Object, Object)

getTransition

public MealyTransition<State<S,O>,TimedOutput<O>> getTransition(State<S,O> source,
 TimedInput<I> input,
 long maxWaitingTime)

Description copied from interface: MMLTSemantics

Retrieves the transition in the semantics automaton that has the provided input and source configuration.

If the input is a sequence of time steps, the target of the transition is the configuration reached after executing all time steps. The output of the transition is the output of the time step that was executed last. This output might belong to a timeout or be silence. The delay of this output is set to zero.

Please note that a sequence with more than one time step may trigger multiple timeouts. Regardless of that, only the output at the last time step is returned.

Specified by:

getTransition in interface MMLTSemantics<S,I,T,O>

Parameters:

source - the source configuration

input - the input symbol

maxWaitingTime - the maximum time steps to wait for a timeout

Returns:

the transition in semantics automaton

getTransitionOutput

public TimedOutput<O> getTransitionOutput(MealyTransition<State<S,O>,TimedOutput<O>> transition)

Specified by:

getTransitionOutput in interface TransitionOutput<S,I>

getSuccessor

public State<S,O> getSuccessor(MealyTransition<State<S,O>,TimedOutput<O>> transition)

Description copied from interface: TransitionSystem

Retrieves the successor state of a given transition.

Specified by:

getSuccessor in interface TransitionSystem<S,I,T>

Parameters:

transition - the transition.

Returns:

the successor state.