Searched refs:DISTINCT_TERM (Results 1 – 19 of 19) sorted by relevance
204 case DISTINCT_TERM: in sharing_map_visit_subterms()
592 case DISTINCT_TERM:
980 case DISTINCT_TERM: in ctx_subst()1269 case DISTINCT_TERM: in collect_constants()
1579 case DISTINCT_TERM: in visit()2266 case DISTINCT_TERM: in flatten_assertion()3207 case DISTINCT_TERM: in analyze_dl()
3188 case DISTINCT_TERM: in internalize_to_literal()4631 case DISTINCT_TERM: in assert_toplevel_formula()4764 case DISTINCT_TERM: in assert_term()
326 case DISTINCT_TERM: in get_free_vars_of_term()
340 case DISTINCT_TERM: in term_num_children()
275 DISTINCT_TERM, // distinct t_1 ... t_n enumerator1549 assert(term_kind(table, t) == DISTINCT_TERM); in distinct_term_desc()
313 case DISTINCT_TERM: in fsubst_explore()1219 case DISTINCT_TERM: in full_subst_composite()
1582 case DISTINCT_TERM: in delete_term()1821 case DISTINCT_TERM: in delete_term_descriptors()2326 composite_hobj.tag = DISTINCT_TERM; in distinct_term()3565 case DISTINCT_TERM: in mark_reachable_terms()
1187 case DISTINCT_TERM: in subst_composite()
390 case DISTINCT_TERM: in get_term_support()
1366 case DISTINCT_TERM: in lit_collector_visit()
1282 case DISTINCT_TERM: in eval_term()
131 case DISTINCT_TERM: in get_composite()939 case DISTINCT_TERM: in preprocessor_apply()
971 case DISTINCT_TERM: in print_term_idx_recur()1578 case DISTINCT_TERM: in print_term_table()1705 case DISTINCT_TERM: in print_term_idx_desc()2589 case DISTINCT_TERM: in pp_term_idx()
728 case DISTINCT_TERM: in ef_get_vars()
715 if (! check_composite4(x, DISTINCT_TERM, bool_type(&types), a, b, c, d)) { in test_distinct4()
2707 case DISTINCT_TERM: in needs_egraph()