Public Instance Constructors
BDDTypeEnum Constructor
|
Initializes a new instance of the "BDDLayoutTypeEnum" class. |
Public Instance Properties
 BDDvarNum (inherited from BDDType) | Gets or sets the BDD variable number. |
| DomainSize (inherited from BDDType) | Gets or sets the size of the domain. |
| IndexToValue | Gets the list mapping index to value. |
| TypeName (inherited from Type) | Gets or sets the string representation of the name of the type. |
| ValueToIndex | Gets the hashtable mapping value to index. |
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.BDDLayoutTypeEnum". |
| TypeFormat | Returns the "CPTypes.enum_type" constant. |
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. |