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

completed_stages	gecode_opt_repair_info_v1
elapsed_seconds	gecode_opt_repair_info_v1
guarantee	gecode_opt_repair_info_v1
has_private_model	gecode_opt_repair_info_v1
has_repair	gecode_opt_repair_info_v1
item_count	gecode_opt_repair_info_v1
minimum_violation_established	gecode_opt_repair_info_v1
original_objective_optimized	gecode_opt_repair_info_v1
private_model_id	gecode_opt_repair_info_v1
private_revision	gecode_opt_repair_info_v1
source_model_id	gecode_opt_repair_info_v1
source_revision	gecode_opt_repair_info_v1
stage_count	gecode_opt_repair_info_v1
termination	gecode_opt_repair_info_v1
variable_slots	gecode_opt_repair_info_v1
workflow_elapsed_seconds	gecode_opt_repair_info_v1
workflow_guarantee	gecode_opt_repair_info_v1
workflow_termination	gecode_opt_repair_info_v1