Searched refs:context_has_arith_solver (Results 1 – 8 of 8) sorted by relevance
140 if (context_has_arith_solver(context)) { in dump_context()
875 assert(context_has_arith_solver(ctx)); in arith_value()1041 if (context_has_arith_solver(ctx)) { in context_build_model()1077 if (context_has_arith_solver(ctx)) { in context_build_model()
643 static inline bool context_has_arith_solver(context_t *ctx) { in context_has_arith_solver() function
620 if (! context_has_arith_solver(ctx)) { in map_arith_constant_to_eterm()2754 if (! context_has_arith_solver(ctx)) { in internalize_to_arith()
324 if (context_has_arith_solver(ctx)) { in dump_context()
469 if (context_has_arith_solver(ctx)) { in print_options()
1332 if (context_has_arith_solver(ctx)) { in print_options()
185 if (context_has_arith_solver(ctx)) { in dump_context()1653 if (context_has_arith_solver(ctx)) { in show_ctx_stats()