CaDiCaL::Averages Struct Reference

#include <averages.hpp>

Collaboration diagram for CaDiCaL::Averages:

Public Member Functions
	Averages ()

Public Attributes
int64_t	swapped
struct {
struct {
EMA   fast
EMA   slow
}   glue
struct {
EMA   fast
EMA   slow
}   trail
EMA   decisions
EMA   size
EMA   jump
EMA   level
}	current
struct {
struct {
EMA   fast
EMA   slow
}   glue
struct {
EMA   fast
EMA   slow
}   trail
EMA   decisions
EMA   size
EMA   jump
EMA   level
}	saved

Detailed Description

Definition at line 12 of file averages.hpp.

Constructor & Destructor Documentation

Averages()

CaDiCaL::Averages::Averages ( )

inline

Definition at line 36 of file averages.hpp.

: swapped (0) {}

Member Data Documentation

[struct]

struct { ... } CaDiCaL::Averages::current

decisions

EMA CaDiCaL::Averages::decisions

Definition at line 28 of file averages.hpp.

fast

EMA CaDiCaL::Averages::fast

Definition at line 19 of file averages.hpp.

[struct]

struct { ... } CaDiCaL::Averages::glue

jump

EMA CaDiCaL::Averages::jump

Definition at line 31 of file averages.hpp.

level

EMA CaDiCaL::Averages::level

Definition at line 32 of file averages.hpp.

[struct]

struct { ... } CaDiCaL::Averages::saved

size

EMA CaDiCaL::Averages::size

Definition at line 30 of file averages.hpp.

slow

EMA CaDiCaL::Averages::slow

Definition at line 20 of file averages.hpp.

swapped

int64_t CaDiCaL::Averages::swapped

Definition at line 14 of file averages.hpp.

[struct]

struct { ... } CaDiCaL::Averages::trail

---

The documentation for this struct was generated from the following file:

• src/sat/cadical/averages.hpp