CLab# 1.0 API Documentation

ValidAssignmentData Properties

The properties of the ValidAssignmentData class are listed below. For a complete list of ValidAssignmentData class members, see the ValidAssignmentData Members topic.

Public Instance Properties

BddVarTocpVar Gets the Bdd variable to CP variable mapping.
CpVarNum Gets the number of CP variables.
Dom Gets the list of domain size for each variable.
DomStart Gets the list with the index of the BDD variable where the encoding of each CP variable starts. DomStart[i] = index of the BDD variable where the encoding of CSP variable "i" starts

See Also

ValidAssignmentData Class | CLab.BDD Namespace