I
- input symbol typepublic class DefaultOneSEVPA<I> extends AbstractOneSEVPA<Location,I>
SimpleGraph.NormalGraphView<N,G extends SimpleGraph<N>>
alphabet
Constructor and Description |
---|
DefaultOneSEVPA(VPDAlphabet<I> alphabet) |
DefaultOneSEVPA(VPDAlphabet<I> alphabet,
int capacity) |
Modifier and Type | Method and Description |
---|---|
Location |
addInitialLocation(boolean accepting) |
Location |
addLocation(boolean accepting) |
Location |
getInitialLocation() |
Location |
getInternalSuccessor(Location loc,
I intSym) |
Location |
getLocation(int id) |
int |
getLocationId(Location loc) |
List<Location> |
getLocations() |
@Nullable Location |
getReturnSuccessor(Location loc,
I retSym,
int stackSym) |
boolean |
isAcceptingLocation(Location loc) |
void |
setInitialLocation(Location loc) |
void |
setInternalSuccessor(Location loc,
I intSym,
Location succ) |
void |
setReturnSuccessor(Location loc,
I retSym,
int stackSym,
Location succ) |
int |
size()
Retrieves the number of nodes of this graph.
|
encodeStackSym, encodeStackSym, getAlphabet, getCallSym, getNodes, getNumStackSymbols, getOutgoingEdges, getStackLoc, getTarget, getTransition, getVisualizationHelper
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
computeOutput, computeSuffixOutput, getInitialState, isAccepting
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
public DefaultOneSEVPA(VPDAlphabet<I> alphabet)
public DefaultOneSEVPA(VPDAlphabet<I> alphabet, int capacity)
public Location addInitialLocation(boolean accepting)
public Location addLocation(boolean accepting)
public int size()
SimpleGraph
public void setReturnSuccessor(Location loc, I retSym, int stackSym, Location succ)
public Location getLocation(int id)
public int getLocationId(Location loc)
public @Nullable Location getReturnSuccessor(Location loc, I retSym, int stackSym)
public boolean isAcceptingLocation(Location loc)
public Location getInitialLocation()
public void setInitialLocation(Location loc)
Copyright © 2020. All rights reserved.