Sto_Man_t_ Struct Reference

#include <satStore.h>

Collaboration diagram for Sto_Man_t_:

[legend]

Data Fields
int	nVars
int	nRoots
int	nClauses
int	nClausesA
Sto_Cls_t *	pHead
Sto_Cls_t *	pTail
Sto_Cls_t *	pEmpty
int	nChunkSize
int	nChunkUsed
char *	pChunkLast

---

Detailed Description

Definition at line 74 of file satStore.h.

---

Field Documentation

int Sto_Man_t_::nChunkSize

Definition at line 85 of file satStore.h.

int Sto_Man_t_::nChunkUsed

Definition at line 86 of file satStore.h.

int Sto_Man_t_::nClauses

Definition at line 79 of file satStore.h.

int Sto_Man_t_::nClausesA

Definition at line 80 of file satStore.h.

int Sto_Man_t_::nRoots

Definition at line 78 of file satStore.h.

int Sto_Man_t_::nVars

Definition at line 77 of file satStore.h.

char* Sto_Man_t_::pChunkLast

Definition at line 87 of file satStore.h.

Sto_Cls_t* Sto_Man_t_::pEmpty

Definition at line 83 of file satStore.h.

Sto_Cls_t* Sto_Man_t_::pHead

Definition at line 81 of file satStore.h.

Sto_Cls_t* Sto_Man_t_::pTail

Definition at line 82 of file satStore.h.

---

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

• src/sat/bsat/satStore.h