Msat_SolverStats_t_ Struct Reference

#include <msatInt.h>

Data Fields
int64	nStarts
int64	nDecisions
int64	nPropagations
int64	nInspects
int64	nConflicts
int64	nSuccesses

---

Detailed Description

Definition at line 94 of file msatInt.h.

---

Field Documentation

int64 Msat_SolverStats_t_::nConflicts

Definition at line 100 of file msatInt.h.

int64 Msat_SolverStats_t_::nDecisions

Definition at line 97 of file msatInt.h.

int64 Msat_SolverStats_t_::nInspects

Definition at line 99 of file msatInt.h.

int64 Msat_SolverStats_t_::nPropagations

Definition at line 98 of file msatInt.h.

int64 Msat_SolverStats_t_::nStarts

Definition at line 96 of file msatInt.h.

int64 Msat_SolverStats_t_::nSuccesses

Definition at line 101 of file msatInt.h.

---

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

• src/sat/msat/msatInt.h