Searched refs:bvvar_clr_mark (Results 1 – 3 of 3) sorted by relevance
491 static inline void bvvar_clr_mark(bv_vartable_t *table, thvar_t x) { in bvvar_clr_mark() function
1005 bvvar_clr_mark(vtbl, i); in bv_solver_compile_polynomials()1639 bvvar_clr_mark(vtbl, x); in bv_solver_bitblast_variable()
1017 bvvar_clr_mark(vtbl, i); in bv_solver_compile_polynomials()1728 bvvar_clr_mark(vtbl, x); in bv_solver_bitblast_variable()