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

attempt_count	gecode_opt_pool_info_v1
completion	gecode_opt_pool_info_v1
elapsed_seconds	gecode_opt_pool_info_v1
entry_count	gecode_opt_pool_info_v1
guarantee	gecode_opt_pool_info_v1
model_id	gecode_opt_pool_info_v1
projection_count	gecode_opt_pool_info_v1
ranked_prefix	gecode_opt_pool_info_v1
reserved	gecode_opt_pool_info_v1
revision	gecode_opt_pool_info_v1
termination	gecode_opt_pool_info_v1