Searched refs:check_good_select (Results 1 – 1 of 1) sorted by relevance
2056 static bool check_good_select(term_manager_t *mngr, uint32_t i, term_t t) { in check_good_select() function3340 if (! check_good_select(__yices_globals.manager, index, tuple)) { in _o_yices_select()