1#ifndef SEARCH_STATISTICS_H
2#define SEARCH_STATISTICS_H
16class SearchStatistics {
31 int lastjump_expanded_states;
32 int lastjump_reopened_states;
33 int lastjump_evaluated_states;
34 int lastjump_generated_states;
36 void print_f_line()
const;
38 explicit SearchStatistics(utils::LogProxy &log);
39 ~SearchStatistics() =
default;
42 void inc_expanded(
int inc = 1) {expanded_states += inc;}
43 void inc_evaluated_states(
int inc = 1) {evaluated_states += inc;}
44 void inc_generated(
int inc = 1) {generated_states += inc;}
45 void inc_reopened(
int inc = 1) {reopened_states += inc;}
46 void inc_generated_ops(
int inc = 1) {generated_ops += inc;}
47 void inc_evaluations(
int inc = 1) {evaluations += inc;}
48 void inc_dead_ends(
int inc = 1) {dead_end_states += inc;}
51 int get_expanded()
const {
return expanded_states;}
52 int get_evaluated_states()
const {
return evaluated_states;}
53 int get_evaluations()
const {
return evaluations;}
54 int get_generated()
const {
return generated_states;}
55 int get_reopened()
const {
return reopened_states;}
56 int get_generated_ops()
const {
return generated_ops;}
74 void report_f_value_progress(
int f);
75 void print_checkpoint_line(
int g)
const;
78 void print_basic_statistics()
const;
79 void print_detailed_statistics()
const;