Class BasicNodeManager<T>
java.lang.Object
com.ibm.wala.util.graph.impl.BasicNodeManager<T>
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
add a node to this graphboolean
containsNode
(@Nullable T N) int
iterator()
void
removeNode
(T n) remove a node from this graphstream()
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
Constructor Details
-
BasicNodeManager
public BasicNodeManager()
-
-
Method Details
-
stream
-
iterator
-
getNumberOfNodes
public int getNumberOfNodes()- Specified by:
getNumberOfNodes
in interfaceNodeManager<T>
- Returns:
- the number of nodes in this graph
-
addNode
Description copied from interface:NodeManager
add a node to this graph- Specified by:
addNode
in interfaceNodeManager<T>
-
removeNode
Description copied from interface:NodeManager
remove a node from this graph- Specified by:
removeNode
in interfaceNodeManager<T>
-
containsNode
- Specified by:
containsNode
in interfaceNodeManager<T>
- Returns:
- true iff the graph contains the specified node
-