| Class | Description |
|---|---|
| BDDComparer | An System.Collections.Generic.IComparer implementation when sorting a list of BDDs, based on their node count. |
| BDDLayout | Class representing and making the layout of the BDD problem. The class has mapping from the "CLab.Data.CP" representation to the BDD representation and vice versa. |
| BDDSpace | Class for making BDDs based on the types, variables and expressions of a CP problem. Uses the "BDDLayout" mapping of cp variables to BDD variables. |
| BDDType | Abstract class representing variable types. Used by "CLab.BDD.Layout". |
| BDDTypeBool | Class representing the boolean type. |
| BDDTypeEnum | Class representing the enumeration type. |
| BDDTypeRange | Class representing the range type. |
| BDDVariable | Class representing a CLab variable. |
| Bval | Class for BDD representation of the configuration space of a CP expression. |
| ClabBDD | The main class for finding valid solutions the BDD way. The class is designed to be used by "CLab.Clab", which provides the data needed for this class to work. |
| PQbdd | Priority queue node with IComparable implementation |
| ValidAssignmentData | Class which is used to get valid assignment data from the result BDD of the CP problem. Contains data structures which is filled with result data by Buddy_sharp and Buddy. |