distr_reporter_t Member List

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

_set_pr(std::ostream &out, double a) (defined in distr_reporter_t)distr_reporter_t [protected]
alg_name (defined in reporter_t)reporter_t [protected]
BASIC_ITEMS (defined in distr_reporter_t)distr_reporter_t [protected, static]
collect() (defined in distr_reporter_t)distr_reporter_t
collect_and_print(std::size_t type_of_output, std::ostream &out)distr_reporter_t
collect_and_print(std::size_t type_of_output=REPORTER_OUTPUT_NORMAL)distr_reporter_t
distr_reporter_t(distributed_t *d)distr_reporter_t [inline]
distributeddistr_reporter_t [protected]
file_name (defined in reporter_t)reporter_t [protected]
get_time()reporter_t [inline]
global_info (defined in distr_reporter_t)distr_reporter_t [protected]
global_long_name (defined in distr_reporter_t)distr_reporter_t [protected]
init_time (defined in reporter_t)reporter_t [protected]
print(std::size_t type_of_output, std::ostream &out) (defined in distr_reporter_t)distr_reporter_t
reporter_t::print(std::ostream &out)reporter_t
reporter_t::print()reporter_t
print_specific_value(std::ostream &out, const std::string label, const divine::size_int_t i) (defined in distr_reporter_t)distr_reporter_t [protected]
problem (defined in reporter_t)reporter_t [protected]
reporter_t() (defined in reporter_t)reporter_t [inline]
results (defined in distr_reporter_t)distr_reporter_t [protected]
set_alg_name(std::string s)reporter_t [inline]
set_file_name(std::string s)reporter_t [inline]
set_global_info(std::string s, double a)distr_reporter_t [inline]
set_global_info(std::string s, double a, const std::string &long_name) (defined in distr_reporter_t)distr_reporter_t [inline]
set_global_info(std::string s, std::string a)distr_reporter_t [inline]
set_global_info(std::string s, std::string a, const std::string &long_name) (defined in distr_reporter_t)distr_reporter_t [inline]
set_info(std::string s, double a, size_t flag=REPORTER_MASTER)distr_reporter_t [inline]
set_info(std::string s, double a, const std::string &long_name, size_t flag=REPORTER_MASTER) (defined in distr_reporter_t)distr_reporter_t [inline]
reporter_t::set_info(std::string s, double a)reporter_t [inline]
set_info(std::string s, double a, const std::string &long_name) (defined in reporter_t)reporter_t [inline]
set_obligatory_keys(std::string _alg_name, std::string _file_name, std::string _problem, size_int_t _states_stored, size_int_t _succs_calls)reporter_t [inline]
set_problem(std::string s)reporter_t [inline]
set_states_stored(size_int_t stored)reporter_t [inline]
set_succs_calls(size_int_t calls)reporter_t [inline]
specific_info (defined in reporter_t)reporter_t [protected]
specific_info_flagdistr_reporter_t [protected]
specific_long_name (defined in reporter_t)reporter_t [protected]
start_timer()reporter_t [inline]
states_stored (defined in reporter_t)reporter_t [protected]
stop_timer()reporter_t [inline]
succs_calls (defined in reporter_t)reporter_t [protected]
time (defined in reporter_t)reporter_t [protected]
time_info (defined in reporter_t)reporter_t [protected]
vm_info (defined in reporter_t)reporter_t [protected]


Reference Manual for Library, 2006 developed in ParaDiSe laboratory, Faculty of Informatics, Masaryk University