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