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
ConstructorDescriptionEdgeFilteredNumberedGraph
(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, iterateNodes
Methods inherited from class com.ibm.wala.util.graph.AbstractGraph
addEdge, addNode, containsNode, edgeString, getNumberOfNodes, getPredNodeCount, getPredNodes, getSuccNodeCount, getSuccNodes, hasEdge, iterator, nodeString, removeAllIncidentEdges, removeEdge, removeIncomingEdges, removeNode, removeNodeAndEdges, removeOutgoingEdges, stream, toString
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
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.NodeManager
addNode, containsNode, getNumberOfNodes, iterator, removeNode, stream
-
Constructor Details
-
EdgeFilteredNumberedGraph
- Parameters:
delegate
- the underlying graphignoreEdges
- relation specifying which edges should be filtered out
-
-
Method Details
-
getEdgeManager
- Specified by:
getEdgeManager
in classAbstractNumberedGraph<T>
- Returns:
- the object which manages edges in the graph
-
getNodeManager
- Specified by:
getNodeManager
in classAbstractNumberedGraph<T>
- Returns:
- the object which manages nodes in the graph
-