Searched refs:dyn_bool_ack_threshold (Results 1 – 7 of 7) sorted by relevance
142 uint16_t dyn_bool_ack_threshold; member
632 parameters->dyn_bool_ack_threshold = (uint16_t) z; in params_set_field()
85 printf(" dyn_bool_ack_threshold = %"PRIu32"\n", (uint32_t) params->dyn_bool_ack_threshold); in show_params()
515 egraph_set_boolack_threshold(egraph, params->dyn_bool_ack_threshold); in context_set_search_parameters()
502 params.max_boolackermann, (uint32_t) params.dyn_bool_ack_threshold); in print_options()
1343 show_pos32_param(param2string[p], (uint32_t) parameters.dyn_bool_ack_threshold, n); in show_param()1720 parameters.dyn_bool_ack_threshold = (uint16_t) n; in yices_setparam_cmd()
4713 print_uint32_value((uint32_t) g->parameters.dyn_bool_ack_threshold); in yices_get_option()5301 g->parameters.dyn_bool_ack_threshold = (uint16_t) n; in yices_set_option()