change interface since we don't need this information - it is already in the edge
authorbdemsky <bdemsky>
Wed, 23 May 2007 07:25:23 +0000 (07:25 +0000)
committerbdemsky <bdemsky>
Wed, 23 May 2007 07:25:23 +0000 (07:25 +0000)
commit53afd60cc3c0e0cc50ecb2307fafd7076332fc63
treef779289634622b95ddd4d82e2a592064a7546121
parentcd0e6e4d60066a4ea16a6b8fca2eba557552425b
change interface since we don't need this information - it is already in the edge
Robust/src/Util/GraphNode.java
Robust/src/Util/Namer.java