Package com.ibm.wala.util.graph.labeled
Interface LabeledGraph<T,U>
-
- All Superinterfaces:
EdgeManager<T>
,Graph<T>
,Iterable<T>
,LabeledEdgeManager<T,U>
,NodeManager<T>
- All Known Subinterfaces:
IFlowGraph
- All Known Implementing Classes:
AbstractDemandFlowGraph
,AbstractFlowGraph
,AbstractLabeledGraph
,AbstractNumberedLabeledGraph
,DemandPointerFlowGraph
,DemandValueFlowGraph
,SlowSparseNumberedLabeledGraph
public interface LabeledGraph<T,U> extends Graph<T>, LabeledEdgeManager<T,U>
A graph with labeled edges.
-
-
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, getSuccLabels, getSuccNodeCount, getSuccNodes, hasEdge, removeEdge
-
Methods inherited from interface com.ibm.wala.util.graph.NodeManager
addNode, containsNode, getNumberOfNodes, iterator, removeNode
-
-