net.automatalib.automata.vpda

Class AbstractOneSEVPA<L,I>

java.lang.Object

net.automatalib.automata.vpda.AbstractOneSEVPA<L,I>

Type Parameters:

L - location type

I - input alphabet type

All Implemented Interfaces:

Iterable<L>, Output<I,Boolean>, SuffixOutput<I,Boolean>, OneSEVPA<L,I>, Graph<L,net.automatalib.automata.vpda.AbstractOneSEVPA.SevpaViewEdge<L,I>>, IndefiniteGraph<L,net.automatalib.automata.vpda.AbstractOneSEVPA.SevpaViewEdge<L,I>>, IndefiniteSimpleGraph<L>, SimpleGraph<L>, 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:

DefaultOneSEVPA

public abstract class AbstractOneSEVPA<L,I>
extends Object
implements OneSEVPA<L,I>, Graph<L,net.automatalib.automata.vpda.AbstractOneSEVPA.SevpaViewEdge<L,I>>

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

Author:

Malte Isberner

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.graphs.SimpleGraph

SimpleGraph.NormalGraphView<N,G extends SimpleGraph<N>>

Field Summary

Fields

Modifier and Type	Field and Description
protected VPDAlphabet<I>	alphabet

Constructor Summary

Constructors

Constructor and Description
AbstractOneSEVPA(VPDAlphabet<I> alphabet)

Method Summary

Modifier and Type	Method and Description
int	encodeStackSym(L srcLoc, I callSym)
int	encodeStackSym(L srcLoc, int callSymIdx)
VPDAlphabet<I>	getAlphabet()
I	getCallSym(int stackSym)
Collection<L>	getNodes()
int	getNumStackSymbols()
Collection<net.automatalib.automata.vpda.AbstractOneSEVPA.SevpaViewEdge<L,I>>	getOutgoingEdges(L location)
L	getStackLoc(int stackSym)
L	getTarget(net.automatalib.automata.vpda.AbstractOneSEVPA.SevpaViewEdge<L,I> edge)
State<L>	getTransition(State<L> state, I input)
VisualizationHelper<L,net.automatalib.automata.vpda.AbstractOneSEVPA.SevpaViewEdge<L,I>>	getVisualizationHelper()
abstract 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.automata.vpda.OneSEVPA

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

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

accepts, isAccepting

Methods inherited from interface net.automatalib.ts.acceptors.AcceptorTS

getStateProperty, getSuccessor, getTransitionProperty

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransitions, transToSet

Methods inherited from interface net.automatalib.ts.TransitionSystem

powersetView

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

getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet

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

createDynamicStateMapping, createStaticStateMapping, getSuccessors

Methods inherited from interface net.automatalib.graphs.Graph

asNormalGraph

Methods inherited from interface net.automatalib.graphs.IndefiniteGraph

adjacentTargetsIterator, adjacentTargetsStream, getAdjacentTargets, getEdgesBetween, outgoingEdges, outgoingEdgesIterator, outgoingEdgesStream

Methods inherited from interface net.automatalib.graphs.SimpleGraph

iterator, nodeIDs, nodesStream

Methods inherited from interface net.automatalib.graphs.IndefiniteSimpleGraph

adjacentTargets, createDynamicNodeMapping, createStaticNodeMapping, isConnected

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

alphabet

protected final VPDAlphabet<I> alphabet

Constructor Detail

AbstractOneSEVPA

public AbstractOneSEVPA(VPDAlphabet<I> alphabet)

Method Detail

getAlphabet

public VPDAlphabet<I> getAlphabet()

getTransition

public 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 OneSEVPA<L,I>

encodeStackSym

public int encodeStackSym(L srcLoc,
                          int callSymIdx)

getNumStackSymbols

public int getNumStackSymbols()

Specified by:

getNumStackSymbols in interface OneSEVPA<L,I>

size

public abstract int size()

Specified by:

size in interface OneSEVPA<L,I>

Specified by:

size in interface SimpleGraph<L>

getNodes

@Nonnull
public Collection<L> getNodes()

Specified by:

getNodes in interface SimpleGraph<L>

getOutgoingEdges

@Nonnull
public Collection<net.automatalib.automata.vpda.AbstractOneSEVPA.SevpaViewEdge<L,I>> getOutgoingEdges(L location)

Specified by:

getOutgoingEdges in interface IndefiniteGraph<L,net.automatalib.automata.vpda.AbstractOneSEVPA.SevpaViewEdge<L,I>>

getTarget

@Nonnull
public L getTarget(net.automatalib.automata.vpda.AbstractOneSEVPA.SevpaViewEdge<L,I> edge)

Specified by:

getTarget in interface IndefiniteGraph<L,net.automatalib.automata.vpda.AbstractOneSEVPA.SevpaViewEdge<L,I>>

getVisualizationHelper

public VisualizationHelper<L,net.automatalib.automata.vpda.AbstractOneSEVPA.SevpaViewEdge<L,I>> getVisualizationHelper()

Specified by:

getVisualizationHelper in interface Graph<L,net.automatalib.automata.vpda.AbstractOneSEVPA.SevpaViewEdge<L,I>>

Specified by:

getVisualizationHelper in interface SimpleGraph<L>

getStackLoc

public L getStackLoc(int stackSym)

getCallSym

public I getCallSym(int stackSym)