Searched defs:PL_next_solution (Results 1 – 3 of 3) sorted by relevance
323 PL_next_solution = _lib.PL_next_solution variable
2789 PL_next_solution(qid_t qid) in PL_next_solution() function
2627 X_API int PL_next_solution(qid_t qi) in PL_next_solution() function