Package net.automatalib.automaton.procedural

Class StackSPA<S,I>

java.lang.Object

net.automatalib.automaton.procedural.StackSPA<S,I>

Type Parameters:

S - procedural state type

I - input symbol type

All Implemented Interfaces:

FiniteRepresentation, InputAlphabetHolder<I>, Output<I,Boolean>, SuffixOutput<I,Boolean>, SPA<StackState<S,I,DFA<S,I>>,I>, GraphViewable, AcceptorTS<StackState<S,I,DFA<S,I>>,I>, DeterministicAcceptorTS<StackState<S,I,DFA<S,I>>,I>, DeterministicTransitionSystem<StackState<S,I,DFA<S,I>>,I,StackState<S,I,DFA<S,I>>>, SimpleDTS<StackState<S,I,DFA<S,I>>,I>, SimpleTS<StackState<S,I,DFA<S,I>>,I>, TransitionSystem<StackState<S,I,DFA<S,I>>,I,StackState<S,I,DFA<S,I>>>, UniversalDTS<StackState<S,I,DFA<S,I>>,I,StackState<S,I,DFA<S,I>>,Boolean,Void>, UniversalTransitionSystem<StackState<S,I,DFA<S,I>>,I,StackState<S,I,DFA<S,I>>,Boolean,Void>

public class StackSPA<S,I>
extends Object
implements SPA<StackState<S,I,DFA<S,I>>,I>, SimpleDTS<StackState<S,I,DFA<S,I>>,I>

A stack-based implementation for the (instrumented) language of an SPA.

Constructor Summary

Constructors

Constructor	Description
StackSPA(ProceduralInputAlphabet<I> alphabet, @Nullable I initialCall, Map<I,? extends DFA<? extends S,I>> procedures)

Method Summary

Modifier and Type	Method	Description
@Nullable I	getInitialProcedure()
StackState<S,I,DFA<S,I>>	getInitialState()	Retrieves the initial state of this transition system.
ProceduralInputAlphabet<I>	getInputAlphabet()
default Collection<I>	getProceduralInputs()	Convenience method for getProceduralInputs(Collection) which uses the input alphabet of this system as constraints.
default @Nullable M	getProcedure(I callSymbol)	Convenience method for getProcedures() to quickly return the procedure of a given call symbol.
Map<I,DFA<?,I>>	getProcedures()
StackState<S,I,DFA<S,I>>	getTransition(StackState<S,I,DFA<S,I>> state, I input)	Retrieves the transition triggered by the given input symbol.
default Graph<?,?>	graphView()
boolean	isAccepting(StackState<S,I,DFA<S,I>> state)	Checks whether the given state is accepting.
default int	size()	Returns the size of this system which is given by the sum of the sizes of all procedures.

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.acceptor.AcceptorTS

getStateProperty, getSuccessor, getTransitionProperty

Methods inherited from interface net.automatalib.ts.acceptor.DeterministicAcceptorTS

accepts, computeSuffixOutput, isAccepting

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransitions

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

getInitialStates, getState, getStates, getSuccessor, getSuccessors, getSuccessors

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

createDynamicStateMapping, createStaticStateMapping, getSuccessors

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

computeOutput, getProceduralInputs

Methods inherited from interface net.automatalib.ts.TransitionSystem

powersetView

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Constructor Detail

StackSPA

public StackSPA(ProceduralInputAlphabet<I> alphabet,
                @Nullable I initialCall,
                Map<I,? extends DFA<? extends S,I>> procedures)

Method Detail

getTransition

public StackState<S,I,DFA<S,I>> getTransition(StackState<S,I,DFA<S,I>> state,
                                                                I input)

Description copied from interface: DeterministicTransitionSystem

Retrieves the transition triggered by the given input symbol.

Specified by:

getTransition in interface DeterministicTransitionSystem<StackState<S,I,DFA<S,I>>,I,StackState<S,I,DFA<S,I>>>

Parameters:

state - 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)

isAccepting

public boolean isAccepting(StackState<S,I,DFA<S,I>> state)

Description copied from interface: AcceptorTS

Checks whether the given state is accepting.

Specified by:

isAccepting in interface AcceptorTS<S,I>

Parameters:

state - the state

Returns:

true if the state is accepting, false otherwise.

getInitialState

public StackState<S,I,DFA<S,I>> getInitialState()

Description copied from interface: SimpleDTS

Retrieves the initial state of this transition system.

Specified by:

getInitialState in interface SimpleDTS<S,I>

Returns:

the initial state.

See Also:

SimpleTS.getInitialStates()

getInitialProcedure

public @Nullable I getInitialProcedure()

getInputAlphabet

public ProceduralInputAlphabet<I> getInputAlphabet()

Specified by:

getInputAlphabet in interface InputAlphabetHolder<S>

getProcedures

public Map<I,DFA<?,I>> getProcedures()

getProceduralInputs

public default Collection<I> getProceduralInputs()

Convenience method for getProceduralInputs(Collection) which uses the input alphabet of this system as constraints.

Returns:

a collection of defined inputs for this system's procedures.

getProcedure

public default @Nullable M getProcedure(I callSymbol)

Convenience method for getProcedures() to quickly return the procedure of a given call symbol.

Parameters:

callSymbol - the call symbol

Returns:

the corresponding procedure. May be null if this system does not have a procedure for the given call symbol.

See Also:

getProcedures()

size

public default int size()

Returns the size of this system which is given by the sum of the sizes of all procedures. Note that this value does not necessarily correspond to the classical notion of SimpleAutomaton.size(), since semantically a ProceduralSystem may be infinite-sized SimpleTS.

Specified by:

size in interface FiniteRepresentation

Returns:

the size of this system

graphView

public default Graph<?,?> graphView()

Specified by:

graphView in interface GraphViewable