Searched refs:RESERVED_TERM (Results 1 – 11 of 11) sorted by relevance
140 case RESERVED_TERM: in term_to_val()
1481 case RESERVED_TERM: in lit_collector_visit()
251 case RESERVED_TERM: in sharing_map_visit_subterms()
1626 case RESERVED_TERM: in visit()2180 case RESERVED_TERM: in flatten_assertion()
1230 case RESERVED_TERM: in collect_constants()
303 case RESERVED_TERM: // should not happen either in term_num_children()
242 RESERVED_TERM, // mark for term indices that can't be used enumerator1145 return valid_term_idx(table, i) && table->kind[i] > RESERVED_TERM; in good_term_idx()
360 case RESERVED_TERM: in fsubst_explore()1375 case RESERVED_TERM: in full_subst()
1702 case RESERVED_TERM: in delete_term()1743 table->kind[i] = RESERVED_TERM; in add_primitive_terms()1801 case RESERVED_TERM: in delete_term_descriptors()3535 case RESERVED_TERM: in mark_reachable_terms()
1043 case RESERVED_TERM: in print_term_idx_recur()1508 case RESERVED_TERM: in print_term_table()1647 case RESERVED_TERM: in print_term_idx_desc()2642 case RESERVED_TERM: in pp_term_idx()2782 if (kind != UNUSED_TERM && kind != RESERVED_TERM) { in pp_term_table()
2675 case RESERVED_TERM: in needs_egraph()