zeus.concepts
Class DuplicationTable

java.lang.Object
  java.util.Dictionary
      java.util.Hashtable
          zeus.concepts.DuplicationTable

All Implemented Interfaces:

java.lang.Cloneable, java.util.Map, java.io.Serializable

public class DuplicationTable

extends java.util.Hashtable

See Also:

Serialized Form

Nested Class Summary

Nested classes inherited from class java.util.Hashtable

Field Summary

protected GenSym	generator
protected java.lang.String	name

Fields inherited from class java.util.Hashtable

Constructor Summary

DuplicationTable()

DuplicationTable(java.lang.String name, GenSym generator)

Method Summary

java.lang.String

getRef(java.lang.String s1)

Methods inherited from class java.util.Hashtable

clear, clone, contains, containsKey, containsValue, elements, entrySet, equals, get, hashCode, isEmpty, keys, keySet, put, putAll, rehash, remove, size, toString, values

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

name

protected java.lang.String name

generator

protected GenSym generator

Constructor Detail

DuplicationTable

public DuplicationTable()

DuplicationTable

public DuplicationTable(java.lang.String name,
                        GenSym generator)

Method Detail

getRef

public java.lang.String getRef(java.lang.String s1)