stats_t Struct Reference

#include <satVec.h>

Data Fields
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 151 of file satVec.h.

Field Documentation

unsigned stats_t::clauses

Definition at line 153 of file satVec.h.

ABC_INT64_T stats_t::clauses_literals

Definition at line 155 of file satVec.h.

ABC_INT64_T stats_t::conflicts

Definition at line 154 of file satVec.h.

ABC_INT64_T stats_t::decisions

Definition at line 154 of file satVec.h.

ABC_INT64_T stats_t::inspects

Definition at line 154 of file satVec.h.

unsigned stats_t::learnts

Definition at line 153 of file satVec.h.

ABC_INT64_T stats_t::learnts_literals

Definition at line 155 of file satVec.h.

ABC_INT64_T stats_t::propagations

Definition at line 154 of file satVec.h.

unsigned stats_t::starts

Definition at line 153 of file satVec.h.

ABC_INT64_T stats_t::tot_literals

Definition at line 155 of file satVec.h.

---

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

• satVec.h