Statistics< Allocator > Member List

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

allocator_type typedef	Statistics< Allocator >
constraints	Statistics< Allocator >
depth_max	Statistics< Allocator >
eps_num_subproblems	Statistics< Allocator >
eps_skipped_subproblems	Statistics< Allocator >
eps_solved_subproblems	Statistics< Allocator >
exhaustive	Statistics< Allocator >
fails	Statistics< Allocator >
fixpoint_iterations	Statistics< Allocator >
meet(const Statistics< Alloc > &other)	Statistics< Allocator >	inline
meet(const TimingStatistics< Alloc > &other)	Statistics< Allocator >	inline
nodes	Statistics< Allocator >
num_blocks	Statistics< Allocator >
num_blocks_done	Statistics< Allocator >
num_deductions	Statistics< Allocator >
optimization	Statistics< Allocator >
print_block_timing_stat(const char *name, Timer timer) const	Statistics< Allocator >	inline
print_human_stat(int verbose, const char *name, size_t value) const	Statistics< Allocator >	inline
print_memory_statistics(int verbose, const char *key, size_t bytes) const	Statistics< Allocator >	inline
print_mzn_end_stats() const	Statistics< Allocator >	inline
print_mzn_final_separator() const	Statistics< Allocator >	inline
print_mzn_objective(const auto &obj, bool is_minimization) const	Statistics< Allocator >	inline
print_mzn_separator() const	Statistics< Allocator >	inline
print_mzn_statistics(int verbose=0) const	Statistics< Allocator >	inline
print_stat(const char *name, const char *value) const	Statistics< Allocator >	inline
print_stat(const char *name, size_t value) const	Statistics< Allocator >	inline
print_stat(const char *name, int value) const	Statistics< Allocator >	inline
print_stat(const char *name, double value) const	Statistics< Allocator >	inline
print_stat_fp_iter(const char *name, size_t num_iterations, size_t value) const	Statistics< Allocator >	inline
print_statistics	Statistics< Allocator >
print_timing_stat(const char *name, Timer timer) const	Statistics< Allocator >	inline
solutions	Statistics< Allocator >
start_timer_host() const	Statistics< Allocator >	inline
Statistics	Statistics< Allocator >	friend
Statistics(size_t variables, size_t constraints, bool optimization, bool print_statistics)	Statistics< Allocator >	inline
Statistics()	Statistics< Allocator >	inline
Statistics(const Statistics &)=default	Statistics< Allocator >
Statistics(Statistics &&)=default	Statistics< Allocator >
Statistics(const Statistics< Alloc > &other)	Statistics< Allocator >	inline
stop_timer(Timer timer, std::chrono::steady_clock::time_point start)	Statistics< Allocator >	inline
time_ms_of(Timer timer) const	Statistics< Allocator >	inline
timers	Statistics< Allocator >
update_timer(Timer timer, std::chrono::steady_clock::time_point start)	Statistics< Allocator >	inline
variables	Statistics< Allocator >