Searched refs:bv_ite_t (Results 1 – 5 of 5) sorted by relevance
105 } bv_ite_t; typedef431 static inline bv_ite_t *bvvar_ite_def(bv_vartable_t *table, thvar_t x) { in bvvar_ite_def()
250 static inline uint32_t hash_bvite_ptr(bv_ite_t *d) { in hash_bvite_ptr()535 bv_ite_t *b; in make_bvite()538 b = (bv_ite_t *) safe_malloc(sizeof(bv_ite_t)); in make_bvite()783 bv_ite_t *d; in eq_bvite_hobj()
187 static void print_bv_ite(FILE *f, bv_ite_t *ite) { in print_bv_ite()
617 bv_ite_t *ite; in bv_solver_mark_variable()1496 bv_ite_t *ite; in bv_solver_bitblast_variable()
618 bv_ite_t *ite; in bv_solver_mark_variable()1579 bv_ite_t *ite; in bv_solver_bitblast_variable()