ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
xSAT_Stats_t_ Struct Reference

#include <xsatSolver.h>

Public Attributes

unsigned nStarts
 
unsigned nReduceDB
 
iword nDecisions
 
iword nPropagations
 
iword nInspects
 
iword nConflicts
 
iword nClauseLits
 
iword nLearntLits
 

Detailed Description

Definition at line 103 of file xsatSolver.h.

Member Data Documentation

◆ nClauseLits

iword xSAT_Stats_t_::nClauseLits

Definition at line 113 of file xsatSolver.h.

◆ nConflicts

iword xSAT_Stats_t_::nConflicts

Definition at line 111 of file xsatSolver.h.

◆ nDecisions

iword xSAT_Stats_t_::nDecisions

Definition at line 108 of file xsatSolver.h.

◆ nInspects

iword xSAT_Stats_t_::nInspects

Definition at line 110 of file xsatSolver.h.

◆ nLearntLits

iword xSAT_Stats_t_::nLearntLits

Definition at line 114 of file xsatSolver.h.

◆ nPropagations

iword xSAT_Stats_t_::nPropagations

Definition at line 109 of file xsatSolver.h.

◆ nReduceDB

unsigned xSAT_Stats_t_::nReduceDB

Definition at line 106 of file xsatSolver.h.

◆ nStarts

unsigned xSAT_Stats_t_::nStarts

Definition at line 105 of file xsatSolver.h.

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