SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
CADCellsStatistics.cpp
Go to the documentation of this file.
1 #include "CADCellsStatistics.h"
2 
3 #ifdef SMTRAT_DEVOPTION_Statistics
4 namespace smtrat {
5 namespace cadcells {
6  CADCellsStatistics &statistics() {
7  static CADCellsStatistics &stats = statistics_get<CADCellsStatistics>("smtrat-cadcells");
8  return stats;
9  }
10 }
11 }
12 #endif
smtrat
Class to create the formulas for axioms.
Definition: handle_options.h:10