CLab# 1.0 API Documentation

BDDType Methods

The methods of the BDDType class are listed below. For a complete list of BDDType class members, see the BDDType Members topic.

Public Static Methods

BooleanVarNumber Calculates the number of BDD variables needed, using the domain size.

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.

See Also

BDDType Class | CLab.BDD Namespace