SableJBDD.bdd.internal
Class UniqueObject

java.lang.Object
  extended bySableJBDD.bdd.internal.UniqueObject
All Implemented Interfaces:
SableJBDD.bdd.internal.Unique
Direct Known Subclasses:
JBddNode, UniqueInteger

public class UniqueObject
extends java.lang.Object
implements SableJBDD.bdd.internal.Unique

A unique object assigns a unique id to each instance of its subclasses.


Constructor Summary
UniqueObject()
           
 
Method Summary
 boolean equals(java.lang.Object other)
           
 int getUniqueId()
           
 int hashCode()
           
 
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

UniqueObject

public UniqueObject()
Method Detail

getUniqueId

public int getUniqueId()
Specified by:
getUniqueId in interface SableJBDD.bdd.internal.Unique

hashCode

public int hashCode()

equals

public boolean equals(java.lang.Object other)