CLab# 1.0 API Documentation

BDDTypeRange Members

BDDTypeRange overview

Public Instance Constructors

BDDTypeRange Constructor Initializes a new instance of the "BDDLayoutTypeRange" 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.
StartOfRange Gets the start of the range.
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.BDDLayoutRange".
TypeFormat Returns the "CPTypes.range_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.

See Also

BDDTypeRange Class | CLab.BDD Namespace