src/work/marci/top_sort.dim
author deba
Thu, 11 Nov 2004 09:31:55 +0000
changeset 980 0f1044b7a3af
parent 552 83c22ca968d8
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
marci@552
     1
p mat 5 5
marci@549
     2
a 1 3
marci@549
     3
a 2 3
marci@549
     4
a 3 5
marci@577
     5
a 4 3
marci@552
     6
a 5 4