SolvingCdclStatistics Struct Reference

Structure for solver statistics. More...

#include <SolverCdclInterface.hpp>

Collaboration diagram for SolvingCdclStatistics:

Public Member Functions
	SolvingCdclStatistics ()
	Constructor.

Public Attributes
unsigned long	propagations
	Number of propagations.
unsigned long	decisions
	Number of decisions taken.
unsigned long	conflicts
	Number of reached conflicts.
unsigned long	restarts
	Number of restarts.
double	memPeak
	Maximum memory used in Ko.

Detailed Description

Structure for solver statistics.

---

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

• /github/workspace/src/solvers/CDCL/SolverCdclInterface.hpp