averages Struct Reference

#include <averages.h>

Collaboration diagram for averages:

Public Attributes
bool	initialized
smooth	fast_glue
smooth	slow_glue
smooth	decision_rate
uint64_t	saved_decisions

Detailed Description

Definition at line 13 of file averages.h.

Member Data Documentation

decision_rate

smooth averages::decision_rate

Definition at line 19 of file averages.h.

fast_glue

smooth averages::fast_glue

Definition at line 15 of file averages.h.

initialized

bool averages::initialized

Definition at line 14 of file averages.h.

saved_decisions

uint64_t averages::saved_decisions

Definition at line 20 of file averages.h.

slow_glue

smooth averages::slow_glue

Definition at line 15 of file averages.h.

---

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

• src/sat/kissat/averages.h