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
ValidAssignmentData Class | CLab.BDD Namespace