Home
last modified time | relevance | path

Searched refs:empty_fun_queue (Results 1 – 1 of 1) sorted by relevance

/dports/math/yices/yices-2.6.2/src/solvers/funs/
H A Dfun_solver.c422 static inline bool empty_fun_queue(fun_queue_t *queue) { in empty_fun_queue() function
1176 while (! empty_fun_queue(queue)) { in fun_solver_label_component()
1675 while (! empty_fun_queue(queue)) { in update_conflict_for_application()
2342 while (! empty_fun_queue(queue)) { in propagate_application()