package tarau.jinni;

import java.util.Hashtable;

/**
 General purpose dictionary
*/
public class HashDict extends Hashtable {
   public String name() {
      return getClass().getName()+hashCode();
   }

   public String stat() {
     return "BlackBoard: "+size();
   }
}