ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
ema.hpp File Reference
#include "global.h"
#include <cstdint>
Include dependency graph for ema.hpp:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  CaDiCaL::EMA
 

Namespaces

namespace  CaDiCaL
 

Macros

#define UPDATE_AVERAGE(A, Y)
 
#define INIT_EMA(E, WINDOW)
 

Macro Definition Documentation

◆ INIT_EMA

#define INIT_EMA ( E,
WINDOW )
Value:
do { \
CADICAL_assert ((WINDOW) >= 1); \
double ALPHA = 1.0 / (double) (WINDOW); \
E = EMA (ALPHA); \
LOG ("init " #E " EMA target alpha %g window %d", ALPHA, \
(int) WINDOW); \
} while (0)
#define EMA(NAME)
Definition averages.h:29

Definition at line 61 of file ema.hpp.

61#define INIT_EMA(E, WINDOW) \
62 do { \
63 CADICAL_assert ((WINDOW) >= 1); \
64 double ALPHA = 1.0 / (double) (WINDOW); \
65 E = EMA (ALPHA); \
66 LOG ("init " #E " EMA target alpha %g window %d", ALPHA, \
67 (int) WINDOW); \
68 } while (0)

◆ UPDATE_AVERAGE

#define UPDATE_AVERAGE ( A,
Y )
Value:
do { \
A.update (internal, (Y), #A); \
} while (0)

Definition at line 56 of file ema.hpp.

56#define UPDATE_AVERAGE(A, Y) \
57 do { \
58 A.update (internal, (Y), #A); \
59 } while (0)