tools.tree.trie
Class Trie.IdManager

java.lang.Object
  extended by tools.tree.trie.Trie.IdManager
Enclosing class:
Trie

public class Trie.IdManager
extends java.lang.Object

The id manager assignes unique labels to the nodes in a GML file

Author:
hinselma

Constructor Summary
Trie.IdManager()
           
 
Method Summary
 int getLastId()
           
 void incrID()
           
 void setId(int id)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Trie.IdManager

public Trie.IdManager()
Method Detail

getLastId

public int getLastId()

incrID

public void incrID()

setId

public void setId(int id)