Searched refs:UNUSED_TERM (Results 1 – 12 of 12) sorted by relevance
139 case UNUSED_TERM: in term_to_val()
1480 case UNUSED_TERM: in lit_collector_visit()
250 case UNUSED_TERM: in sharing_map_visit_subterms()
1625 case UNUSED_TERM: in visit()2179 case UNUSED_TERM: in flatten_assertion()
1229 case UNUSED_TERM: in collect_constants()
652 …term_kind_t app_kind = UNUSED_TERM, prev_app_kind = UNUSED_TERM; // Kind of the current and previo… in uf_plugin_build_model()
1042 case UNUSED_TERM: in print_term_idx_recur()1192 if (tbl->kind[i] != UNUSED_TERM) { in max_term_name_length()1501 if (tbl->kind[i] != UNUSED_TERM) { in print_term_table()1646 case UNUSED_TERM: in print_term_idx_desc()2641 case UNUSED_TERM: in pp_term_idx()2782 if (kind != UNUSED_TERM && kind != RESERVED_TERM) { in pp_term_table()
302 case UNUSED_TERM: // should not happen in term_num_children()
241 UNUSED_TERM, // deleted term enumerator1141 return valid_term_idx(table, i) && table->kind[i] != UNUSED_TERM; in live_term_idx()
1701 case UNUSED_TERM: in delete_term()1715 table->kind[i] = UNUSED_TERM; in delete_term()1800 case UNUSED_TERM: in delete_term_descriptors()3534 case UNUSED_TERM: in mark_reachable_terms()3714 if (! term_idx_is_marked(table, i) && table->kind[i] != UNUSED_TERM) { in term_table_gc()
359 case UNUSED_TERM: in fsubst_explore()1374 case UNUSED_TERM: in full_subst()
2674 case UNUSED_TERM: in needs_egraph()