stats_t Struct Reference

#include <satSolver.h>

Data Fields
sint64	starts
sint64	decisions
sint64	propagations
sint64	inspects
sint64	conflicts
sint64	clauses
sint64	clauses_literals
sint64	learnts
sint64	learnts_literals
sint64	max_literals
sint64	tot_literals

---

Detailed Description

Definition at line 95 of file satSolver.h.

---

Field Documentation

sint64 stats_t::clauses

Definition at line 98 of file satSolver.h.

sint64 stats_t::clauses_literals

Definition at line 98 of file satSolver.h.

sint64 stats_t::conflicts

Definition at line 97 of file satSolver.h.

sint64 stats_t::decisions

Definition at line 97 of file satSolver.h.

sint64 stats_t::inspects

Definition at line 97 of file satSolver.h.

sint64 stats_t::learnts

Definition at line 98 of file satSolver.h.

sint64 stats_t::learnts_literals

Definition at line 98 of file satSolver.h.

sint64 stats_t::max_literals

Definition at line 98 of file satSolver.h.

sint64 stats_t::propagations

Definition at line 97 of file satSolver.h.

sint64 stats_t::starts

Definition at line 97 of file satSolver.h.

sint64 stats_t::tot_literals

Definition at line 98 of file satSolver.h.

---

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

• src/sat/bsat/satSolver.h