Searched refs:last_cube (Results 1 – 2 of 2) sorted by relevance
410 expr_ref_vector last_cube(bool is_sat) { in last_cube() function in inc_sat_solver426 return last_cube(false); in cube()454 return last_cube(true); in cube()456 return last_cube(false); in cube()
380 expr_ref_vector last_cube(bool is_sat) { in last_cube() function in inc_sat_solver396 return last_cube(false); in cube()424 return last_cube(true); in cube()426 return last_cube(false); in cube()