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

projection_count	gecode_opt_pool_entry_info_v1
rank_established	gecode_opt_pool_entry_info_v1
reserved	gecode_opt_pool_entry_info_v1