Searched refs:set_bool_param (Results 1 – 5 of 5) sorted by relevance
| /dports/math/yices/yices-2.6.2/src/api/ |
| H A D | search_parameters.c | 352 static int32_t set_bool_param(const char *value, bool *v) { in set_bool_param() function
500 r = set_bool_param(value, ¶meters->fast_restart); in params_set_field()
567 r = set_bool_param(value, ¶meters->cache_tclauses); in params_set_field()
578 r = set_bool_param(value, ¶meters->use_dyn_ack); in params_set_field()
582 r = set_bool_param(value, ¶meters->use_bool_dyn_ack); in params_set_field()
586 r = set_bool_param(value, ¶meters->use_optimistic_fcheck); in params_set_field()
644 r = set_bool_param(value, ¶meters->use_simplex_prop); in params_set_field()
648 r = set_bool_param(value, ¶meters->adjust_simplex_model); in params_set_field()
652 r = set_bool_param(value, ¶meters->integer_check); in params_set_field()
|
| /dports/multimedia/lives/lives-3.2.0/src/ |
| H A D | plugins.h | 706 void set_bool_param(void *value, boolean);
|
| H A D | paramwindow.c | 2054 set_bool_param(param->value, new_bool); in after_boolean_param_toggled()
3085 } else set_bool_param(param->def, (atoi(tmp))); in set_param_from_list()
3087 set_bool_param(param->value, in set_param_from_list()
3089 } else set_bool_param(param->value, (atoi(tmp))); in set_param_from_list()
|
| H A D | rfx-builder.c | 1486 …set_bool_param(copy_param->def, lives_spin_button_get_value_as_int(LIVES_SPIN_BUTTON(rfxbuilder->s… in param_set_from_dialog()
3487 set_bool_param(rfxbuilder->params[i].def, atoi(array[3])); in script_to_rfxbuilder()
|
| H A D | plugins.c | 3103 void set_bool_param(void *value, boolean _const) { in set_bool_param() function
|