reporter_t Member List

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

alg_name (defined in reporter_t)reporter_t [protected]
file_name (defined in reporter_t)reporter_t [protected]
get_time()reporter_t [inline]
init_time (defined in reporter_t)reporter_t [protected]
print(std::ostream &out)reporter_t
print()reporter_t
problem (defined in reporter_t)reporter_t [protected]
reporter_t() (defined in reporter_t)reporter_t [inline]
set_alg_name(std::string s)reporter_t [inline]
set_file_name(std::string s)reporter_t [inline]
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_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