Searched refs:findStartChoice (Results 1 – 2 of 2) sorted by relevance
1731 findStartChoice(LocalFrame fr, Choice ch) in findStartChoice() function3025 { if ( (ch = findStartChoice(rframe, BFR)) ) in PL_next_solution()3154 { Choice sch = ch0_ref ? findStartChoice(FR, (Choice)valTermRef(ch0_ref)) : NULL; in PL_next_solution()
2044 if ( (ch = findStartChoice(FR, BFR)) )4494 { Choice ch = findStartChoice(FR, LD->choicepoints);