Searched refs:check_good_quantified_term (Results 1 – 1 of 1) sorted by relevance
2179 static bool check_good_quantified_term(term_manager_t *mngr, uint32_t n, const term_t *v, term_t bo… in check_good_quantified_term() function3420 if (! check_good_quantified_term(__yices_globals.manager, n, var, body)) { in _o_yices_forall()3436 if (! check_good_quantified_term(__yices_globals.manager, n, var, body)) { in _o_yices_exists()