averages.h File Reference

#include "smooth.h"
#include <stdbool.h>
#include "global.h"

Include dependency graph for averages.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	averages

Macros
#define	AVERAGES   (solver->averages[solver->stable])
#define	EMA(NAME)
#define	AVERAGE(NAME)
#define	UPDATE_AVERAGE(NAME, VALUE)

Typedefs
typedef typedefABC_NAMESPACE_HEADER_START struct averages	averages

Functions
void	kissat_init_averages (struct kissat *, averages *)

Macro Definition Documentation

AVERAGE

#define AVERAGE

(

NAME

)

Value:

(EMA (NAME).value)

Definition at line 31 of file averages.h.

AVERAGES

#define AVERAGES   (solver->averages[solver->stable])

Definition at line 27 of file averages.h.

EMA

#define EMA

(

NAME

)

Value:

(AVERAGES.NAME)

Definition at line 29 of file averages.h.

UPDATE_AVERAGE

#define UPDATE_AVERAGE	(		NAME,
			VALUE )

Value:

  kissat_update_smooth (solver, &EMA (NAME), VALUE)

Definition at line 33 of file averages.h.

#define UPDATE_AVERAGE(NAME, VALUE) \
  kissat_update_smooth (solver, &EMA (NAME), VALUE)

Typedef Documentation

averages

typedef typedefABC_NAMESPACE_HEADER_START struct averages averages

Definition at line 11 of file averages.h.

Function Documentation

kissat_init_averages()

void kissat_init_averages	(	struct 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;
}