src/work/marci/preflow_bug_8
| author |
deba |
|
Thu, 11 Nov 2004 09:31:55 +0000 |
| changeset 980 |
0f1044b7a3af |
| permissions |
-rw-r--r-- |
maxNodeId() and maxEdgeId() changed to maxId(Node) and maxId(Edge)
getNodeObserverRegistry() and getEdgeObserverRegistry() changed to
getObserverRegistry(Node) and getObserverRegistry(Edge)
IdMappableGraphExtender erased