import java.lang.reflect.*;
class Node
- implements GraphViz.ToGraphViz {
+ implements IntegerMappable,
+ GraphViz.ToGraphViz {
// GraphViz //////////////////////////////////////////////////////////////////////////////
}
public boolean isTransparent() { return false; }
public boolean isHidden() { return false; }
+
+ // IntegerMappable ////////////////////////////////////////////////////////////
+
+ private static int node_idx = 0;
+ private final int idx = node_idx++;
+ public int toInt() { return idx; }
+
}
\ No newline at end of file