LocalSearchStats Struct Reference

Local search statistics. More...

#include <LocalSearchInterface.hpp>

Collaboration diagram for LocalSearchStats:

Public Attributes
unsigned int	numberUnsatClauses
unsigned int	numberFlips

Detailed Description

Local search statistics.

---

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

• /github/workspace/src/solvers/LocalSearch/LocalSearchInterface.hpp