Public Static Fields
  BDDINITDBCACHE | The initial cache used by BDD. |
| BDDMAXINCREASE | The max increase of BDD. |
| INITBDDNODES | Number of initial BDD nodes. |
Public Instance Methods
 Equals (inherited from Object) | Determines whether the specified Object is equal to the current Object. |
| GetHashCode (inherited from Object) | Serves as a hash function for a particular type. GetHashCode is suitable for use in hashing algorithms and data structures like a hash table. |
| GetType (inherited from Object) | Gets the Type of the current instance. |
| ToString (inherited from Object) | Returns a String that represents the current Object. |