SableJBDD.bdd.internal
Class UniqueInteger

java.lang.Object
  extended bySableJBDD.bdd.internal.UniqueObject
      extended bySableJBDD.bdd.internal.UniqueInteger
All Implemented Interfaces:
SableJBDD.bdd.internal.Unique

public class UniqueInteger
extends UniqueObject

A unique integer object holds an int value, two instances may hold the same value, but have different (unique) ids.


Constructor Summary
UniqueInteger(int v)
          Defines a unique integer with a specific value.
 
Methods inherited from class SableJBDD.bdd.internal.UniqueObject
equals, getUniqueId, hashCode
 
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

UniqueInteger

public UniqueInteger(int v)
Defines a unique integer with a specific value.