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

optimize_original_objective	gecode_opt_repair_options_v1
reserved	gecode_opt_repair_options_v1
selection_count	gecode_opt_repair_options_v1
selections	gecode_opt_repair_options_v1
solve	gecode_opt_repair_options_v1
struct_size	gecode_opt_repair_options_v1