Package net.automatalib.automaton.procedural

Class EmptySPMM<I,O>

java.lang.Object

net.automatalib.automaton.procedural.EmptySPMM<I,O>

Type Parameters:

I - input symbol type

O - output symbol type

All Implemented Interfaces:

FiniteRepresentation, InputAlphabetHolder<I>, Output<I,Word<O>>, SuffixOutput<I,Word<O>>, TransitionOutput<Void,O>, SPMM<Void,I,Void,O>, GraphViewable, DeterministicTransitionSystem<Void,I,Void>, DeterministicOutputTS<Void,I,Void,O>, DeterministicTransitionOutputTS<Void,I,Void,O>, MealyTransitionSystem<Void,I,Void,O>, SimpleDTS<Void,I>, SimpleTS<Void,I>, TransitionSystem<Void,I,Void>, UniversalDTS<Void,I,Void,Void,O>, UniversalTransitionSystem<Void,I,Void,Void,O>

public class EmptySPMM<I,O>
extends Object
implements SPMM<Void,I,Void,O>

A utility implementation of an SPMM that transduces all input words to a sequence of the given erroneous output symbol.

Constructor Summary

Constructors

Constructor	Description
EmptySPMM(ProceduralInputAlphabet<I> alphabet, O errorOutput)

Method Summary

Modifier and Type	Method	Description
Word<O>	computeSuffixOutput(Iterable<? extends I> prefix, Iterable<? extends I> suffix)
O	getErrorOutput()
@Nullable I	getInitialProcedure()
@Nullable Void	getInitialState()
ProceduralInputAlphabet<I>	getInputAlphabet()
default Collection<I>	getProceduralInputs()
default M	getProcedure(I arg0)
Map<I,MealyMachine<?,I,?,O>>	getProcedures()
Void	getSuccessor(Void transition)
Void	getTransition(Void state, I input)
O	getTransitionOutput(Void transition)
default Graph<?,?>	graphView()
default int	size()

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

trace

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

getOutput, trace

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransitions

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

getStateProperty, getTransitionProperty

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

getInitialStates, getState, getStates, getSuccessor, getSuccessors

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

createDynamicStateMapping, createStaticStateMapping, getSuccessors

Methods inherited from interface net.automatalib.automaton.procedural.SPMM

getProceduralInputs, isErrorOutput

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

computeOutput

Methods inherited from interface net.automatalib.ts.TransitionSystem

powersetView

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Constructor Detail

EmptySPMM

public EmptySPMM(ProceduralInputAlphabet<I> alphabet,
                 O errorOutput)

Method Detail

getInitialProcedure

public @Nullable I getInitialProcedure()

getInputAlphabet

public ProceduralInputAlphabet<I> getInputAlphabet()

Specified by:

getInputAlphabet in interface InputAlphabetHolder<I>

getErrorOutput

public O getErrorOutput()

Specified by:

getErrorOutput in interface SPMM<Void,I,Void,O>

getProcedures

public Map<I,MealyMachine<?,I,?,O>> getProcedures()

computeSuffixOutput

public Word<O> computeSuffixOutput(Iterable<? extends I> prefix,
                                   Iterable<? extends I> suffix)

Specified by:

computeSuffixOutput in interface SPMM<Void,I,Void,O>

Specified by:

computeSuffixOutput in interface SuffixOutput<I,O>

getTransition

public Void getTransition(Void state,
                          I input)

Specified by:

getTransition in interface DeterministicTransitionSystem<Void,I,Void>

getInitialState

public @Nullable Void getInitialState()

Specified by:

getInitialState in interface SimpleDTS<I,O>

getTransitionOutput

public O getTransitionOutput(Void transition)

Specified by:

getTransitionOutput in interface TransitionOutput<I,O>

getSuccessor

public Void getSuccessor(Void transition)

Specified by:

getSuccessor in interface TransitionSystem<Void,I,Void>

getProceduralInputs

public default Collection<I> getProceduralInputs()

getProcedure

public default M getProcedure(I arg0)

size

public default int size()

Specified by:

size in interface FiniteRepresentation

graphView

public default Graph<?,?> graphView()

Specified by:

graphView in interface GraphViewable