Package net.automatalib.automaton.procedural

Class StackSPMM<S,I,T,O>

java.lang.Object

net.automatalib.automaton.procedural.StackSPMM<S,I,T,O>

Type Parameters:

S - procedural state type

I - input symbol type

T - transition type

O - output symbol type

All Implemented Interfaces:

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

public class StackSPMM<S,I,T,O>
extends Object
implements SPMM<StackState<S,I,MealyMachine<S,I,T,O>>,I,MealyTransition<StackState<S,I,MealyMachine<S,I,T,O>>,O>,O>

A stack-based implementation for the (instrumented) transductions of an SPMM.

Constructor Summary

Constructors

Constructor	Description
StackSPMM(ProceduralInputAlphabet<I> alphabet, @Nullable I initialCall, O initialOutput, O errorOutput, Map<I,? extends MealyMachine<? extends S,I,? extends T,O>> procedures)

Method Summary

Modifier and Type	Method	Description
O	getErrorOutput()
@Nullable I	getInitialProcedure()
StackState<S,I,MealyMachine<S,I,T,O>>	getInitialState()
ProceduralInputAlphabet<I>	getInputAlphabet()
default Collection<I>	getProceduralInputs()
default M	getProcedure(I arg0)
Map<I,MealyMachine<?,I,?,O>>	getProcedures()
StackState<S,I,MealyMachine<S,I,T,O>>	getSuccessor(MealyTransition<StackState<S,I,MealyMachine<S,I,T,O>>,O> transition)
MealyTransition<StackState<S,I,MealyMachine<S,I,T,O>>,O>	getTransition(StackState<S,I,MealyMachine<S,I,T,O>> state, I input)
O	getTransitionOutput(MealyTransition<StackState<S,I,MealyMachine<S,I,T,O>>,O> 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

computeSuffixOutput, 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

StackSPMM

public StackSPMM(ProceduralInputAlphabet<I> alphabet,
                 @Nullable I initialCall,
                 O initialOutput,
                 O errorOutput,
                 Map<I,? extends MealyMachine<? extends S,I,? extends T,O>> procedures)

Method Detail

getTransition

public MealyTransition<StackState<S,I,MealyMachine<S,I,T,O>>,O> getTransition(StackState<S,I,MealyMachine<S,I,T,O>> state,
                                                                                                                  I input)

Specified by:

getTransition in interface DeterministicTransitionSystem<S,I,T>

getInitialState

public StackState<S,I,MealyMachine<S,I,T,O>> getInitialState()

Specified by:

getInitialState in interface SimpleDTS<S,I>

getInitialProcedure

public @Nullable I getInitialProcedure()

getInputAlphabet

public ProceduralInputAlphabet<I> getInputAlphabet()

Specified by:

getInputAlphabet in interface InputAlphabetHolder<S>

getErrorOutput

public O getErrorOutput()

Specified by:

getErrorOutput in interface SPMM<S,I,T,O>

getProcedures

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

getTransitionOutput

public O getTransitionOutput(MealyTransition<StackState<S,I,MealyMachine<S,I,T,O>>,O> transition)

Specified by:

getTransitionOutput in interface TransitionOutput<S,I>

getSuccessor

public StackState<S,I,MealyMachine<S,I,T,O>> getSuccessor(MealyTransition<StackState<S,I,MealyMachine<S,I,T,O>>,O> transition)

Specified by:

getSuccessor in interface TransitionSystem<S,I,T>

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