Lines Matching refs:is_boolean_term

1385          is_boolean_term(tbl, c));  in mk_bv_ite()
1975   assert(is_boolean_term(tbl, c) && good_term(tbl, t));  in simplify_in_context()
2020     assert(is_boolean_term(manager->terms, t) &&  in mk_ite()
2021            is_boolean_term(manager->terms, e));  in mk_ite()
2368   assert(good_term(tbl, t) && is_boolean_term(tbl, t));  in mk_direct_arith_eq0()
2428   assert(good_term(tbl, t) && is_boolean_term(tbl, t));  in mk_direct_arith_geq0()
3327   if (is_boolean_term(tbl, t1)) {  in mk_eq()
3328     assert(is_boolean_term(tbl, t2));  in mk_eq()
3369   if (is_boolean_term(tbl, t1)) {  in mk_neq()
3370     assert(is_boolean_term(tbl, t2));  in mk_neq()
3995   assert(is_boolean_term(manager->terms, x) &&  in make_or2()
3996 	 is_boolean_term(manager->terms, y));  in make_or2()
4011   assert(is_boolean_term(manager->terms, x) &&  in make_xor2()
4012 	 is_boolean_term(manager->terms, y));  in make_xor2()
4064     assert(is_boolean_term(manager->terms, t));  in map_node_to_term()