Searched refs:bool_term_is_pure (Results 1 – 1 of 1) sorted by relevance
316 static bool bool_term_is_pure(bool_var_collector_t *collect, term_t t) { in bool_term_is_pure() function666 if (bool_term_is_pure(&c->collect, t)) { in cond_def_explore_or()713 if (bool_term_is_pure(&c->collect, cond)) { in cond_def_explore_ite()