Public Instance Constructors
Clab
|
Overloaded. Initializes a new instance of the Clab class. |
Public Instance Properties
 Cp | Gets the "CLab.Data.CP" problem instance. |
| Initbddnodes | Gets or sets the initial number of bdd nodes. |
| Initdbcache | Gets or sets the initial size of db cache. |
| Maxincrease | Gets or sets the BDD max increase number. |
Public Instance Methods
| 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. |
| GetUnsatisfiableRule | Gets the unsatisfiable rule, if BDD modus is chosen. This information is not possible to retrive in CSP modus. |
| GetValidDomains | Gets the valid domains for the constraint problem. |
| GetValidDomainsExtraRule | Overloaded. Gets the valid domains for extra rule added by the user. The rule in this case is a chosen domain value for a single variable. |
| InitializeProblemSolver | Initializes the specified modus, BDD if modus = 0 or CSP if modus = 1. |
| SetBddCompileMethod | Sets the BDD compile method. |
| SetCSPVariableOrdering | Sets the CSP variable ordering. "CspVariableOrdering" |
| StatusUpdateCount | Method which return the maximal number of calls to the status event for a search, depending on which modus is chosen. Can be used to set the max value of a progress bar. |
| ToString (inherited from Object) | Returns a String that represents the current Object. |
| VariableCount | Returns the number of variables. |
Public Instance Events
 StatusEvent | Event for updating status information out of the library. |
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. |