Home
last modified time | relevance | path

Searched defs:is_term_ite (Results 1 – 3 of 3) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/tactic/core/
H A Dcofactor_elim_term_ite.cpp245 bool is_term_ite = m.is_term_ite(curr); in get_best() local
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/
H A Dast.h1412 bool is_term_ite(expr const * n) const { return is_ite(n) && !is_bool(n); } in is_term_ite() function
1426 bool is_term_ite(func_decl const * d) const { return is_ite(d) && !is_bool(d->get_range()); } in is_term_ite() function
2145 bool is_term_ite(expr const * n) const { return is_ite(n) && !is_bool(n); } in is_term_ite() function
2161 bool is_term_ite(func_decl const * d) const { return is_ite(d) && !is_bool(d->get_range()); } in is_term_ite() function
/dports/math/z3/z3-z3-4.8.13/src/ast/
H A Dast.h2082 bool is_term_ite(expr const * n) const { return is_ite(n) && !is_bool(n); } in is_term_ite() function
2098 bool is_term_ite(func_decl const * d) const { return is_ite(d) && !is_bool(d->get_range()); } in is_term_ite() function