SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
CLIStatistics.h
Go to the documentation of this file.
1 #pragma once
2 
3 #include <smtrat-common/statistics/Statistics.h>
4 
5 #ifdef SMTRAT_DEVOPTION_Statistics
6 
7 namespace smtrat {
8 namespace cli {
9 
10 class CLIStatistics : public Statistics {
11 public:
12  carl::statistics::Timer parsing;
13  void collect() {
14  Statistics::addKeyValuePair("parsing", parsing);
15  }
16 };
17 
18 static auto& statistics() {
19  SMTRAT_STATISTICS_INIT_STATIC(CLIStatistics, stats, "cli");
20  return stats;
21 }
22 
23 }
24 }
25 #endif
smtrat
Class to create the formulas for axioms.
Definition: handle_options.h:10
smtrat::Statistics
carl::statistics::Statistics Statistics
Definition: Statistics.h:7
SMTRAT_STATISTICS_INIT_STATIC
#define SMTRAT_STATISTICS_INIT_STATIC(class, variable, name)
Definition: Statistics.h:22