Searched refs:context_has_egraph (Results 1 – 9 of 9) sorted by relevance
136 if (context_has_egraph(context)) { in dump_context()
949 assert(context_has_egraph(ctx)); in build_term_value()1051 if (context_has_egraph(ctx)) { in context_build_model()1083 if (context_has_egraph(ctx)) { in context_build_model()
639 static inline bool context_has_egraph(context_t *ctx) { in context_has_egraph() function
230 assert(! context_has_egraph(ctx)); in uf_error_code()2024 if (context_has_egraph(ctx)) { in map_distinct_to_literal()2190 } else if (context_has_egraph(ctx)) { in map_arith_bineq_aux()2498 if (! context_has_egraph(ctx)) { in internalize_to_eterm()3653 if (context_has_egraph(ctx)) { in assert_arith_bineq_aux()3845 if (context_has_egraph(ctx)) { in assert_toplevel_distinct()
2648 if (context_has_egraph(ctx) || is_ite_term(terms, x) || is_ite_term(terms, y)) { in flatten_or_process_queue()
320 if (context_has_egraph(ctx)) { in dump_context()
1356 if (context_has_egraph(ctx)) { in print_options()1562 if (context_has_egraph(context)) { in dump_the_context()
493 if (context_has_egraph(ctx)) { in print_options()
181 if (context_has_egraph(ctx)) { in dump_context()1645 if (context_has_egraph(ctx)) { in show_ctx_stats()