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] |