CLab# 1.0 API Documentation

ValidAssignmentData.DomStart Property

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

public  DomStart {get;}

See Also

ValidAssignmentData Class | CLab.BDD Namespace