Package com.ibm.wala.util.graph.labeled

Interface NumberedLabeledGraph<T,I>

All Superinterfaces:

EdgeManager<T>, Graph<T>, Iterable<T>, LabeledEdgeManager<T,I>, NodeManager<T>, NumberedEdgeManager<T>, NumberedGraph<T>, NumberedLabeledEdgeManager<T,I>, NumberedNodeManager<T>

All Known Implementing Classes:

AbstractDemandFlowGraph, AbstractFlowGraph, AbstractNumberedLabeledGraph, DemandPointerFlowGraph, DemandValueFlowGraph, PDG, SlowSparseNumberedLabeledGraph

public interface NumberedLabeledGraph<T,I>
extends NumberedGraph<T>, NumberedLabeledEdgeManager<T,I>

Method Summary

Methods inherited from interface com.ibm.wala.util.graph.EdgeManager

addEdge, getPredNodeCount, getPredNodes, getSuccNodeCount, getSuccNodes, hasEdge, removeAllIncidentEdges, removeEdge, removeIncomingEdges, removeOutgoingEdges

Methods inherited from interface com.ibm.wala.util.graph.Graph

removeNodeAndEdges

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface com.ibm.wala.util.graph.labeled.LabeledEdgeManager

addEdge, getDefaultLabel, getEdgeLabels, getPredLabels, getPredNodeCount, getPredNodes, getPredNodes, getSuccLabels, getSuccNodeCount, getSuccNodes, hasEdge, removeEdge

Methods inherited from interface com.ibm.wala.util.graph.NodeManager

addNode, containsNode, getNumberOfNodes, iterator, removeNode, stream

Methods inherited from interface com.ibm.wala.util.graph.NumberedEdgeManager

getPredNodeNumbers, getSuccNodeNumbers

Methods inherited from interface com.ibm.wala.util.graph.labeled.NumberedLabeledEdgeManager

getPredNodeNumbers, getSuccNodeNumbers

Methods inherited from interface com.ibm.wala.util.graph.NumberedNodeManager

getMaxNumber, getNode, getNumber, iterateNodes