net.automatalib.util.automata.transducers

Class StateLocalInputMealyUtil

java.lang.Object

net.automatalib.util.automata.transducers.StateLocalInputMealyUtil

public final class StateLocalInputMealyUtil
extends Object

Utilities for StateLocalInputMealyMachines.

Author:

frohme

Method Summary

Modifier and Type	Method and Description
static <I,O> StateLocalInputMealyMachine<Integer,I,?,OutputAndLocalInputs<I,O>>	partialToObservableOutput(StateLocalInputMealyMachine<Integer,I,?,O> reference) Convenience method for partialToObservableOutput(StateLocalInputMealyMachine, Object), where the size of the given reference is used as the new sink state.
static <S,I,T,O> StateLocalInputMealyMachine<S,I,?,OutputAndLocalInputs<I,O>>	partialToObservableOutput(StateLocalInputMealyMachine<S,I,T,O> reference, S sink) Transforms a (potentially partial) StateLocalInputMealyMachine to a complete StateLocalInputMealyMachine that explicitly outputs the available input symbols on the transition outputs.

Methods inherited from class java.lang.Object

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

Method Detail

partialToObservableOutput

public static <I,O> StateLocalInputMealyMachine<Integer,I,?,OutputAndLocalInputs<I,O>> partialToObservableOutput(StateLocalInputMealyMachine<Integer,I,?,O> reference)

Convenience method for partialToObservableOutput(StateLocalInputMealyMachine, Object), where the size of the given reference is used as the new sink state.

Type Parameters:

I - input symbol type

O - output symbol type

Parameters:

reference - the (partial) mealy to transform

Returns:

see partialToObservableOutput(StateLocalInputMealyMachine, Object).

partialToObservableOutput

public static <S,I,T,O> StateLocalInputMealyMachine<S,I,?,OutputAndLocalInputs<I,O>> partialToObservableOutput(StateLocalInputMealyMachine<S,I,T,O> reference,
                                                                                                               S sink)

Transforms a (potentially partial) StateLocalInputMealyMachine to a complete StateLocalInputMealyMachine that explicitly outputs the available input symbols on the transition outputs. This this primarily useful if one can only use the MealyMachine interpretation of the result.

The returned automaton is a wrapper of the original reference automaton. As such, changes to the reference will also be reflected in the returned automaton.

Type Parameters:

S - state type

I - input symbol type

T - transition type

O - output symbol type (of the reference)

Parameters:

reference - the (partial) mealy to transform

sink - the sink state that should be used to collect all undefined transitions of the reference automaton.

Returns:

A fully defined automaton (even for inputs where the reference automaton would return null) which transforms the information of the available input symbols to transition outputs.