Msat_SolverStats_t_ Struct Reference

#include <msatInt.h>

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

Detailed Description

Definition at line 79 of file msatInt.h.

Field Documentation

ABC_INT64_T Msat_SolverStats_t_::nConflicts

Definition at line 85 of file msatInt.h.

ABC_INT64_T Msat_SolverStats_t_::nDecisions

Definition at line 82 of file msatInt.h.

ABC_INT64_T Msat_SolverStats_t_::nInspects

Definition at line 84 of file msatInt.h.

ABC_INT64_T Msat_SolverStats_t_::nPropagations

Definition at line 83 of file msatInt.h.

ABC_INT64_T Msat_SolverStats_t_::nStarts

Definition at line 81 of file msatInt.h.

ABC_INT64_T Msat_SolverStats_t_::nSuccesses

Definition at line 86 of file msatInt.h.

---

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

• msatInt.h