Searched refs:bvarith_elim (Results 1 – 5 of 5) sorted by relevance
30 ctx_parameters->bvarith_elim = true; in init_ctx_params()49 ctx_parameters->bvarith_elim = true; in default_ctx_params()76 ctx_parameters->bvarith_elim = context_bvarith_elim_enabled(context); in save_ctx_params()
34 bool bvarith_elim; member
154 static bool bvarith_elim; variable513 bvarith_elim = opt_set[bvarith_elim_opt]; in check_parameters()1976 if (bvarith_elim) { in process_benchmark()
1234 show_bool_param(param2string[p], ctx_parameters.bvarith_elim, n); in show_param()1503 ctx_parameters.bvarith_elim = tt; in yices_setparam_cmd()
4604 print_boolean_value(g->ctx_parameters.bvarith_elim); in yices_get_option()5107 g->ctx_parameters.bvarith_elim = tt; in yices_set_option()