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, getPredNodes, getSuccLabels, getSuccNodeCount, getSuccNodes, hasEdge, removeEdge

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

addNode, containsNode, getNumberOfNodes, iterator, removeNode, stream