| Class | Description |
|---|---|
| AdjacencyList | A class representing a list of adjacent nodes in a Constraint Graph. |
| CasperVarDom | A class with variable and domain information, used by the "Csp" class. |
| ConstraintGraph | A class which represents the constraint graph of a csp problem. |
| CSPExpr | An abstract class for CSP Expressions. All Expression classes implements this class. |
| CSPExprBin | |
| CSPExpressions | A class which keeps track of the expressions for a CSP problem. |
| CSPExprNotNeg | |
| CSPExprValue | An abstract class for representing the value kind of expressions. Extends the abstract CSPExpr class. |
| CSPExprValueConst | Implementation class for the constant type of value expressions. Implements the abstract CSPExprValue class. |
| CSPExprValueInt | Implementation class for the integer type of value expressions. Implements the abstract CSPExprValue class. |
| CSPExprVar | An abstract class for representing the variable kind of expressions. Extends the abstract CSPExpr class. |
| CSPExprVarBool | Implementation class for the boolean variable type of variable expressions. Implements the abstract CSPExprVar class. |
| CSPExprVarEnum | Implementation class for the enumeration variable type of variable expressions. Implements the abstract CSPExprVar class. |
| CSPExprVarInt | Implementation class for the integer variable type of variable expressions. Implements the CSPExprVar abstract class. |
| CSPExprWrapper | Stores wrapped expression objects along with a set of its variables IDs. Used during consistency to filter out expressions which have variables which isn't set yet. |