| Class | Description |
|---|---|
| Clab | The interface class for the library. The library is designed in such way, that everything should be done through this class. |
| Common | Defines common enum types and constant values used within CLab. |
| ValidDomain | Class with valid domain information for a paricular variable. |
| ValidDomains | Class with the valid domains of each variable. This class has a list of "ValidDomain" objects for each variable. This is the result representation returned out of the library. |
| Delegate | Description |
|---|---|
| Clab.StatusEventHandler | Delegate for updating status information during search. |
| Enumeration | Description |
|---|---|
| BddCompileMethod | The different BDD compile types. |
| CLabModus | The different moduses CLab can run under. |
| Common.ExprType | Defines enum values for expression types. |
| CPTypes | The different CP types. |
| CspVariableOrdering | The different csp variable orderings. |