Public Static Methods
  BooleanVarNumber | Calculates the number of BDD variables needed, using the domain size. |
Public Instance Constructors
|
BDDType Constructor
|
Initializes a new instance of the "BDDLayoutType" class. |
Public Instance Properties
 BDDvarNum | Gets or sets the BDD variable number. |
| DomainSize | Gets or sets the size of the domain. |
| TypeName (inherited from Type) | Gets or sets the string representation of the name of the type. |
Public Instance Methods
| Equals (inherited from Object) | Determines whether the specified Object is equal to the current Object. |
| GetDomainValue | Method that gets the Domain value at "index". Index can be "0" to "domain size - 1". |
| 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 | Returns a "System.String" that represents the current "CLab.BDD.BDDLayoutType". |
| TypeFormat | Returns a constant from the "CPTypes" enumeration, representing the current type. |
Protected Instance Methods
 Finalize (inherited from Object) | Allows an Object to attempt to free resources and perform other cleanup operations before the Object is reclaimed by garbage collection. |
| MemberwiseClone (inherited from Object) | Creates a shallow copy of the current Object. |