Searched defs:is_term_ite (Results 1 – 3 of 3) sorted by relevance
245 bool is_term_ite = m.is_term_ite(curr); in get_best() local
1412 bool is_term_ite(expr const * n) const { return is_ite(n) && !is_bool(n); } in is_term_ite() function1426 bool is_term_ite(func_decl const * d) const { return is_ite(d) && !is_bool(d->get_range()); } in is_term_ite() function2145 bool is_term_ite(expr const * n) const { return is_ite(n) && !is_bool(n); } in is_term_ite() function2161 bool is_term_ite(func_decl const * d) const { return is_ite(d) && !is_bool(d->get_range()); } in is_term_ite() function
2082 bool is_term_ite(expr const * n) const { return is_ite(n) && !is_bool(n); } in is_term_ite() function2098 bool is_term_ite(func_decl const * d) const { return is_ite(d) && !is_bool(d->get_range()); } in is_term_ite() function