L
- location typeI
- input alphabet typepublic abstract class AbstractOneSEVPA<L,I> extends Object implements OneSEVPA<L,I>, Graph<L,net.automatalib.automata.vpda.AbstractOneSEVPA.SevpaViewEdge<L,I>>
SimpleGraph.NormalGraphView<N,G extends SimpleGraph<N>>
Modifier and Type | Field and Description |
---|---|
protected VPDAlphabet<I> |
alphabet |
Constructor and Description |
---|
AbstractOneSEVPA(VPDAlphabet<I> alphabet) |
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()
Retrieves an (unmodifiable) collection of the nodes in this graph.
|
int |
getNumStackSymbols() |
Collection<net.automatalib.automata.vpda.AbstractOneSEVPA.SevpaViewEdge<L,I>> |
getOutgoingEdges(L location)
Retrieves the outgoing edges of a given node.
|
L |
getStackLoc(int stackSym) |
L |
getTarget(net.automatalib.automata.vpda.AbstractOneSEVPA.SevpaViewEdge<L,I> edge)
Retrieves, for a given edge, its target node.
|
State<L> |
getTransition(State<L> state,
I input)
Retrieves the transition triggered by the given input symbol.
|
VisualizationHelper<L,net.automatalib.automata.vpda.AbstractOneSEVPA.SevpaViewEdge<L,I>> |
getVisualizationHelper() |
abstract int |
size()
Retrieves the number of nodes of this graph.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
computeOutput, computeSuffixOutput, getInitialLocation, getInitialState, getInternalSuccessor, getLocation, getLocationId, getLocations, getReturnSuccessor, isAccepting, isAcceptingLocation
accepts, isAccepting
getStateProperty, getSuccessor, getTransitionProperty
getTransitionProperty
getSuccessor, getSuccessors, getTransitions, transToSet
powersetView
getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, createStaticStateMapping, getSuccessors
asNormalGraph
adjacentTargetsIterator, adjacentTargetsStream, getAdjacentTargets, getEdgesBetween, outgoingEdges, outgoingEdgesIterator, outgoingEdgesStream
iterator, nodeIDs, nodesStream
adjacentTargets, createDynamicNodeMapping, createStaticNodeMapping, isConnected
forEach, spliterator
protected final VPDAlphabet<I> alphabet
public AbstractOneSEVPA(VPDAlphabet<I> alphabet)
public VPDAlphabet<I> getAlphabet()
public State<L> getTransition(State<L> state, I input)
DeterministicTransitionSystem
getTransition
in interface DeterministicTransitionSystem<State<L>,I,State<L>>
state
- the source state.input
- the input symbol.null
if no transition is triggered.TransitionSystem.getTransitions(Object, Object)
public int encodeStackSym(L srcLoc, I callSym)
encodeStackSym
in interface OneSEVPA<L,I>
public int encodeStackSym(L srcLoc, int callSymIdx)
public int getNumStackSymbols()
getNumStackSymbols
in interface OneSEVPA<L,I>
public abstract int size()
SimpleGraph
public Collection<L> getNodes()
SimpleGraph
getNodes
in interface SimpleGraph<L>
public Collection<net.automatalib.automata.vpda.AbstractOneSEVPA.SevpaViewEdge<L,I>> getOutgoingEdges(L location)
IndefiniteGraph
getOutgoingEdges
in interface IndefiniteGraph<L,net.automatalib.automata.vpda.AbstractOneSEVPA.SevpaViewEdge<L,I>>
location
- the node.Collection
of all outgoing edges, or null
if the node has no outgoing edges.public L getTarget(net.automatalib.automata.vpda.AbstractOneSEVPA.SevpaViewEdge<L,I> edge)
IndefiniteGraph
getTarget
in interface IndefiniteGraph<L,net.automatalib.automata.vpda.AbstractOneSEVPA.SevpaViewEdge<L,I>>
edge
- the edge.public VisualizationHelper<L,net.automatalib.automata.vpda.AbstractOneSEVPA.SevpaViewEdge<L,I>> getVisualizationHelper()
getVisualizationHelper
in interface Graph<L,net.automatalib.automata.vpda.AbstractOneSEVPA.SevpaViewEdge<L,I>>
getVisualizationHelper
in interface SimpleGraph<L>
public L getStackLoc(int stackSym)
public I getCallSym(int stackSym)
Copyright © 2020. All rights reserved.