Node ids

[Garcia Gutierrez Miguel Alfredo]

Sometimes a Set<Node> is needed just to track Node ids (ie, the elements are strongly reachable even if not in that set, or we don't care). In those cases, a dedicated IntSet data structure takes less memory. What about Node.id() ?

(1) is it stable (doesn't change after read for the first time)

(2) is it unique across (live and dead) nodes in a graph?


Miguel

--
Miguel Garcia
Swiss Federal Institute of Technology
EPFL - IC - LAMP1 - INR 328 - Station 14
CH-1015 Lausanne - Switzerland
http://lamp.epfl.ch/~magarcia/