CLab# 1.0 API Documentation

PQbdd Members

PQbdd overview

Public Instance Constructors

PQbdd Constructor Initializes a new instance of the "PQbdd" class.

Public Instance Properties

BDD Gets the BDD.
Size Gets the size.

Public Instance Methods

CompareTo IComparable implementation. Compares PQbdds based on their size
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.

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

PQbdd Class | CLab.BDD Namespace