Package net.automatalib.automaton.procedural

Class StackSBA<S,I>

java.lang.Object

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

Type Parameters:

S - procedural state type

I - input symbol type

All Implemented Interfaces:

FiniteRepresentation, InputAlphabetHolder<I>, Output<I,Boolean>, SuffixOutput<I,Boolean>, SBA<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 StackSBA<S,I>
extends Object
implements SBA<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 SBA.

Constructor Summary

Constructors

Constructor	Description
StackSBA(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()
ProceduralInputAlphabet<I>	getInputAlphabet()
default Collection<I>	getProceduralInputs()
default M	getProcedure(I arg0)
Map<I,DFA<?,I>>	getProcedures()
StackState<S,I,DFA<S,I>>	getTransition(StackState<S,I,DFA<S,I>> state, I input)
default Graph<?,?>	graphView()
boolean	isAccepting(StackState<S,I,DFA<S,I>> state)
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.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.automaton.procedural.SBA

computeOutput, getProceduralInputs

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.ts.TransitionSystem

powersetView

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Constructor Detail

StackSBA

public StackSBA(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)

Specified by:

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

isAccepting

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

Specified by:

isAccepting in interface AcceptorTS<S,I>

getInitialState

public StackState<S,I,DFA<S,I>> 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>

getProcedures

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

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