Home
last modified time | relevance | path

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

/dports/math/yices/yices-2.6.2/src/solvers/cdcl/
H A Dnew_sat_solver2.c5142 static void elim_heap_move_up(sat_solver_t *solver, uint32_t i) { in elim_heap_move_up() function
5216 elim_heap_move_up(solver, i); in elim_heap_update()
5291 elim_heap_move_up(solver, i); in elim_heap_insert_var()
H A Dnew_sat_solver.c5516 static void elim_heap_move_up(sat_solver_t *solver, uint32_t i) { in elim_heap_move_up() function
5590 elim_heap_move_up(solver, i); in elim_heap_update()
5665 elim_heap_move_up(solver, i); in elim_heap_insert_var()