stats_t Struct Reference

#include <satVec.h>

Public Attributes
unsigned	starts
unsigned	clauses
unsigned	learnts
ABC_INT64_T	decisions
ABC_INT64_T	propagations
ABC_INT64_T	inspects
ABC_INT64_T	conflicts
ABC_INT64_T	clauses_literals
ABC_INT64_T	learnts_literals
ABC_INT64_T	tot_literals

Detailed Description

Definition at line 153 of file satVec.h.

Member Data Documentation

clauses

unsigned stats_t::clauses

Definition at line 155 of file satVec.h.

clauses_literals

ABC_INT64_T stats_t::clauses_literals

Definition at line 157 of file satVec.h.

conflicts

ABC_INT64_T stats_t::conflicts

Definition at line 156 of file satVec.h.

decisions

ABC_INT64_T stats_t::decisions

Definition at line 156 of file satVec.h.

inspects

ABC_INT64_T stats_t::inspects

Definition at line 156 of file satVec.h.

learnts

unsigned stats_t::learnts

Definition at line 155 of file satVec.h.

learnts_literals

ABC_INT64_T stats_t::learnts_literals

Definition at line 157 of file satVec.h.

propagations

ABC_INT64_T stats_t::propagations

Definition at line 156 of file satVec.h.

starts

unsigned stats_t::starts

Definition at line 155 of file satVec.h.

tot_literals

ABC_INT64_T stats_t::tot_literals

Definition at line 157 of file satVec.h.

---

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

• src/sat/bsat/satVec.h