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

elapsed_seconds	gecode_opt_result_info_v1
guarantee	gecode_opt_result_info_v1
has_solution	gecode_opt_result_info_v1
model_id	gecode_opt_result_info_v1
reserved	gecode_opt_result_info_v1
revision	gecode_opt_result_info_v1
solution_validated	gecode_opt_result_info_v1
start_submitted	gecode_opt_result_info_v1
termination	gecode_opt_result_info_v1
variable_slots	gecode_opt_result_info_v1