1 #ifndef _averages_hpp_INCLUDED
2 #define _averages_hpp_INCLUDED
3 
4 #include "ema.hpp"              // alphabetically after 'averages.hpp'
5 
6 namespace CaDiCaL {
7 
8 struct Averages {
9 
10   int64_t swapped;
11 
12   struct {
13 
14     struct {
15       EMA fast; // average fast (small window) moving glucose level
16       EMA slow; // average slow (large window) moving glucose level
17     } glue;
18 
19     struct {
20       EMA fast; // average fast (small window) moving trail level
21       EMA slow; // average slow (large window) moving trail level
22     } trail;
23 
24     EMA size;   // average learned clause size
25     EMA jump;   // average (potential non-chronological) back-jump level
26     EMA level;  // average back track level after conflict
27 
28   } current, saved;
29 
AveragesCaDiCaL::Averages30   Averages () : swapped (0) { }
31 
32 };
33 
34 }
35 
36 #endif
37