Searched refs:arith_elim (Results 1 – 5 of 5) sorted by relevance
29 ctx_parameters->arith_elim = true; in init_ctx_params()48 ctx_parameters->arith_elim = true; in default_ctx_params()75 ctx_parameters->arith_elim = context_arith_elim_enabled(context); in save_ctx_params()
33 bool arith_elim; member
153 static bool arith_elim; variable512 arith_elim = opt_set[arith_elim_opt]; in check_parameters()1973 if (arith_elim) { in process_benchmark()
1230 show_bool_param(param2string[p], ctx_parameters.arith_elim, n); in show_param()1489 ctx_parameters.arith_elim = tt; in yices_setparam_cmd()
4600 print_boolean_value(g->ctx_parameters.arith_elim); in yices_get_option()5093 g->ctx_parameters.arith_elim = tt; in yices_set_option()