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

backend_attempted	gecode_opt_basis_result_info_v1
has_requested_basis	gecode_opt_basis_result_info_v1
has_statuses_changed	gecode_opt_basis_result_info_v1
requested_model_id	gecode_opt_basis_result_info_v1
requested_revision	gecode_opt_basis_result_info_v1
reserved	gecode_opt_basis_result_info_v1
reserved_flags	gecode_opt_basis_result_info_v1
result	gecode_opt_basis_result_info_v1
state	gecode_opt_basis_result_info_v1
statuses_changed	gecode_opt_basis_result_info_v1
struct_size	gecode_opt_basis_result_info_v1