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

basis_warm_starts	gecode_opt_session_statistics_v1
incremental_updates	gecode_opt_session_statistics_v1
incumbent_starts	gecode_opt_session_statistics_v1
model_loads	gecode_opt_session_statistics_v1
solve_calls	gecode_opt_session_statistics_v1
unchanged_models	gecode_opt_session_statistics_v1