Class |
Description |
ClabCSP
|
The main class for finding valid solutions with the CSP approach. The class is designed to be used by "CLab.Clab", which provides the data needed for this class to work. |
CSPExpressionBuilder
|
Class for making Casper's CSP representation of the expressions. "Casper.Data.CSPExpr". |
CSPLayout
|
Class representing and making the layout of the CSP problem. The class has mapping from the CLab "CLab.Data.CP" representation to the CSP representation and vice versa. |
CSPType
|
An abstract class used by classes representing types in the CSP part of CLab. The different possible "values", like strings for the enumeration type, or integers for the range type, are all encoded as ranges. All of the types must have an end point. |
CSPTypeBool
|
A class for representing boolean types in the CSP part of CLab. The different possible domain values for a range are encoded as a range with an end point. The start point is assumed always to be 0. Implements the abstract CSPType class. |
CSPTypeEnum
|
A class for representing enumeration types in the CSP part of CLab. The different possible domain values for an enumeration are encoded as a range with an end point. The start point is assumed always to be 0. Implements the abstract CSPType class. |
CSPTypeRange
|
A class for representing range types in the CSP part of CLab. The different possible domain values for a range are encoded as a range with a start point and an end point. Implements the abstract CSPType class. |