The properties of the ValidAssignmentData class are listed below. For a complete list of ValidAssignmentData class members, see the ValidAssignmentData Members topic.
![]() | Gets the Bdd variable to CP variable mapping. |
![]() | Gets the number of CP variables. |
![]() | Gets the list of domain size for each variable. |
![]() | 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 |