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:
AbstractNumberedLabeledGraph,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, removeOutgoingEdgesMethods inherited from interface com.ibm.wala.util.graph.Graph
removeNodeAndEdgesMethods inherited from interface java.lang.Iterable
forEach, spliteratorMethods inherited from interface com.ibm.wala.util.graph.labeled.LabeledEdgeManager
addEdge, getDefaultLabel, getEdgeLabels, getPredLabels, getPredNodeCount, getPredNodes, getSuccLabels, getSuccNodeCount, getSuccNodes, hasEdge, removeEdgeMethods inherited from interface com.ibm.wala.util.graph.NodeManager
addNode, containsNode, getNumberOfNodes, iterator, removeNodeMethods inherited from interface com.ibm.wala.util.graph.NumberedEdgeManager
getPredNodeNumbers, getSuccNodeNumbersMethods inherited from interface com.ibm.wala.util.graph.labeled.NumberedLabeledEdgeManager
getPredNodeNumbers, getSuccNodeNumbersMethods inherited from interface com.ibm.wala.util.graph.NumberedNodeManager
getMaxNumber, getNode, getNumber, iterateNodes