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

constraints	Statistics
depth_max	Statistics
duration	Statistics
eliminated_formulas	Statistics
eliminated_variables	Statistics
eps_num_subproblems	Statistics
eps_skipped_subproblems	Statistics
eps_solved_subproblems	Statistics
exhaustive	Statistics
fails	Statistics
fixpoint_iterations	Statistics
interpretation_duration	Statistics
meet(const Statistics &other)	Statistics	inline
nodes	Statistics
num_blocks_done	Statistics
optimization	Statistics
print_mzn_end_stats() const	Statistics	inline
print_mzn_final_separator() const	Statistics	inline
print_mzn_objective(const auto &obj, bool is_minimization) const	Statistics	inline
print_mzn_separator() const	Statistics	inline
print_mzn_statistics() const	Statistics	inline
propagation_time	Statistics
search_time	Statistics
solutions	Statistics
Statistics(size_t variables, size_t constraints, bool optimization)	Statistics	inline
Statistics()	Statistics	inline
Statistics(const Statistics &)=default	Statistics
Statistics(Statistics &&)=default	Statistics
variables	Statistics