This is the complete list of members for gecode_opt_scenario_options_v1, including all inherited members.

max_patch_entries	gecode_opt_scenario_options_v1
max_saved_value_slots	gecode_opt_scenario_options_v1
max_scenarios	gecode_opt_scenario_options_v1
max_work	gecode_opt_scenario_options_v1
reserved	gecode_opt_scenario_options_v1
reserved_flags	gecode_opt_scenario_options_v1
reuse	gecode_opt_scenario_options_v1
solve	gecode_opt_scenario_options_v1
struct_size	gecode_opt_scenario_options_v1