Package net.automatalib.automaton.vpa

Class AbstractSEVPA<L,I>

java.lang.Object

net.automatalib.automaton.vpa.AbstractSEVPA<L,I>

Type Parameters:

L - location type

I - input alphabet type

All Implemented Interfaces:

FiniteRepresentation, InputAlphabetHolder<I>, Output<I,Boolean>, SuffixOutput<I,Boolean>, SEVPA<L,I>, GraphViewable, AcceptorTS<State<L>,I>, DeterministicAcceptorTS<State<L>,I>, DeterministicTransitionSystem<State<L>,I,State<L>>, SimpleDTS<State<L>,I>, SimpleTS<State<L>,I>, TransitionSystem<State<L>,I,State<L>>, UniversalDTS<State<L>,I,State<L>,Boolean,Void>, UniversalTransitionSystem<State<L>,I,State<L>,Boolean,Void>

Direct Known Subclasses:

AbstractDefaultSEVPA

public abstract class AbstractSEVPA<L,I>
extends Object
implements SEVPA<L,I>

Abstract class for k-SEVPAs that implements functionality shared across different subtypes.

Field Summary

Fields

Modifier and Type	Field	Description
protected VPAlphabet<I>	alphabet

Constructor Summary

Constructors

Constructor	Description
AbstractSEVPA(VPAlphabet<I> alphabet)

Method Summary

Modifier and Type	Method	Description
int	encodeStackSym(L srcLoc, int callSymIdx)
int	encodeStackSym(L srcLoc, I callSym)
I	getCallSym(int stackSym)
VPAlphabet<I>	getInputAlphabet()
int	getNumStackSymbols()
L	getStackLoc(int stackSym)
@Nullable State<L>	getTransition(State<L> state, I input)

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

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransitions

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

size

Methods inherited from interface net.automatalib.automaton.vpa.SEVPA

computeOutput, computeSuffixOutput, getInitialLocation, getInitialState, getInternalSuccessor, getLocation, getLocationId, getLocations, getModuleEntry, getReturnSuccessor, graphView, isAccepting, isAcceptingLocation

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

powersetView

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Field Detail

alphabet

protected final VPAlphabet<I> alphabet

Constructor Detail

AbstractSEVPA

public AbstractSEVPA(VPAlphabet<I> alphabet)

Method Detail

getInputAlphabet

public VPAlphabet<I> getInputAlphabet()

Specified by:

getInputAlphabet in interface InputAlphabetHolder<L>

Specified by:

getInputAlphabet in interface SEVPA<L,I>

getTransition

public @Nullable State<L> getTransition(State<L> state,
                                        I input)

Specified by:

getTransition in interface DeterministicTransitionSystem<State<L>,I,State<L>>

encodeStackSym

public int encodeStackSym(L srcLoc,
                          I callSym)

Specified by:

encodeStackSym in interface SEVPA<L,I>

encodeStackSym

public int encodeStackSym(L srcLoc,
                          int callSymIdx)

getNumStackSymbols

public int getNumStackSymbols()

Specified by:

getNumStackSymbols in interface SEVPA<L,I>

getStackLoc

public L getStackLoc(int stackSym)

getCallSym

public I getCallSym(int stackSym)