Home | History | Annotate | Download | only in courgette

Lines Matching full:candidate

38 (symbol) U,V,... in A2 has a set of candidates from A1, each candidate with a
42 assignment is. We pick the variable with the most clear-cut candidate, make the
108 difference above the next candidate (X:=C) and this is also the largest
249 // AssignmentCandidates is a priority queue of candidate assignments to