Public Instance Constructors
ValidAssignmentData Constructor
|
Initializes a new instance of the "ValidAssignmentData" class. |
Public Instance Properties
 BddVarTocpVar | Gets the Bdd variable to CP variable mapping. |
| CpVarNum | Gets the number of CP variables. |
| Dom | Gets the list of domain size for each variable. |
| DomStart | Gets the list with the index of the BDD variable where the encoding of each CP variable starts. DomStart[i] = index of the BDD variable where the encoding of CSP variable "i" starts |
Public Instance Methods
| ClabEnd | Runs the ClabEnd method of "buddy_sharp.Bdd". |
| CreateValidAssignmentData | Method to create the valid assignment data. Use the Bdd.valExist(i, j) method to retrieve the results. |
| 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 | Returns a "System.String" that represents the current "ValidAssignmentData". |
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. |