Package com.ibm.wala.util.graph
Class EdgeFilteredNumberedGraph<T>
java.lang.Object
com.ibm.wala.util.graph.AbstractGraph<T>
com.ibm.wala.util.graph.AbstractNumberedGraph<T>
com.ibm.wala.util.graph.EdgeFilteredNumberedGraph<T>
- All Implemented Interfaces:
EdgeManager<T>,Graph<T>,NodeManager<T>,NumberedEdgeManager<T>,NumberedGraph<T>,NumberedNodeManager<T>,Iterable<T>
View of a
NumberedGraph in which some edges have been filtered out-
Constructor Summary
ConstructorsConstructorDescriptionEdgeFilteredNumberedGraph(NumberedGraph<T> delegate, IBinaryNaturalRelation ignoreEdges) -
Method Summary
Modifier and TypeMethodDescriptionprotected NumberedEdgeManager<T> protected NumberedNodeManager<T> Methods inherited from class com.ibm.wala.util.graph.AbstractNumberedGraph
getMaxNumber, getNode, getNumber, getPredNodeNumbers, getSuccNodeNumbers, iterateNodesMethods inherited from class com.ibm.wala.util.graph.AbstractGraph
addEdge, addNode, containsNode, edgeString, getNumberOfNodes, getPredNodeCount, getPredNodes, getSuccNodeCount, getSuccNodes, hasEdge, iterator, removeAllIncidentEdges, removeEdge, removeIncomingEdges, removeNode, removeNodeAndEdges, removeOutgoingEdges, toStringMethods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitMethods 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.NodeManager
addNode, containsNode, getNumberOfNodes, iterator, removeNode
-
Constructor Details
-
EdgeFilteredNumberedGraph
- Parameters:
delegate- the underlying graphignoreEdges- relation specifying which edges should be filtered out
-
-
Method Details
-
getEdgeManager
- Specified by:
getEdgeManagerin classAbstractNumberedGraph<T>- Returns:
- the object which manages edges in the graph
-
getNodeManager
- Specified by:
getNodeManagerin classAbstractNumberedGraph<T>- Returns:
- the object which manages nodes in the graph
-