CLab# 1.0 API Documentation

CLab.CSP Namespace

Namespace hierarchy

Classes

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.