Searched refs:max_interface_eqs (Results 1 – 12 of 12) sorted by relevance
143 uint32_t max_interface_eqs; member
639 parameters->max_interface_eqs = (uint32_t) z; in params_set_field()
8724 params->max_interface_eqs = 15; in yices_set_default_params()8727 params->max_interface_eqs = 30; in yices_set_default_params()8754 params->max_interface_eqs = 15; in yices_set_default_params()8780 params->max_interface_eqs = 15; in yices_set_default_params()
506 fprintf(f, " --max-interface-eqs=%"PRIu32"\n", params.max_interface_eqs); in print_options()1163 params.max_interface_eqs = 15; in process_benchmark()1166 params.max_interface_eqs = 30; in process_benchmark()1187 params.max_interface_eqs = 15; in process_benchmark()
886 params.max_interface_eqs = v; in check_parameters()1367 fprintf(f, " --max-interface-eqs=%"PRIu32"\n", params.max_interface_eqs); in print_options()
564 egraph->max_interface_eqs = n; in egraph_set_max_interface_eqs()568 return egraph->max_interface_eqs; in egraph_get_max_interface_eqs()
1367 uint32_t max_interface_eqs; member
6028 max_eq = egraph->max_interface_eqs; in baseline_final_check()6133 max_eqs = egraph->max_interface_eqs; in experimental_final_check()6744 egraph->max_interface_eqs = DEFAULT_MAX_INTERFACE_EQS; in init_egraph()
86 printf(" max_interface_eqs = %"PRIu32"\n", params->max_interface_eqs); in show_params()
524 egraph_set_max_interface_eqs(egraph, params->max_interface_eqs); in context_set_search_parameters()
1347 show_pos32_param(param2string[p], parameters.max_interface_eqs, n); in show_param()1727 parameters.max_interface_eqs = n; in yices_setparam_cmd()
4717 print_uint32_value(g->parameters.max_interface_eqs); in yices_get_option()5307 g->parameters.max_interface_eqs = n; in yices_set_option()