averages.c File Reference

#include "internal.h"

Include dependency graph for averages.c:

Go to the source code of this file.

Macros
#define	INIT_EMA(EMA, WINDOW)

Functions
ABC_NAMESPACE_IMPL_START void	kissat_init_averages (kissat *solver, averages *averages)

Macro Definition Documentation

INIT_EMA

#define INIT_EMA	(		EMA,
			WINDOW )

Value:

  kissat_init_smooth (solver, &averages->EMA, WINDOW, #EMA)

Function Documentation

kissat_init_averages()

ABC_NAMESPACE_IMPL_START void kissat_init_averages	(	kissat *	solver,
		averages *	averages )

Definition at line 5 of file averages.c.

                                                               {
  if (averages->initialized)
    return;
#define INIT_EMA(EMA, WINDOW) \
  kissat_init_smooth (solver, &averages->EMA, WINDOW, #EMA)
#ifndef KISSAT_QUIET
  INIT_EMA (level, GET_OPTION (emaslow));
  INIT_EMA (size, GET_OPTION (emaslow));
  INIT_EMA (trail, GET_OPTION (emaslow));
#endif
  INIT_EMA (fast_glue, GET_OPTION (emafast));
  INIT_EMA (slow_glue, GET_OPTION (emaslow));
  INIT_EMA (decision_rate, GET_OPTION (emaslow));
  averages->initialized = true;
}