Sto_Man_t_ Struct Reference

#include <satStore.h>

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 82 of file satStore.h.

Field Documentation

int Sto_Man_t_::nChunkSize

Definition at line 93 of file satStore.h.

int Sto_Man_t_::nChunkUsed

Definition at line 94 of file satStore.h.

int Sto_Man_t_::nClauses

Definition at line 87 of file satStore.h.

int Sto_Man_t_::nClausesA

Definition at line 88 of file satStore.h.

int Sto_Man_t_::nRoots

Definition at line 86 of file satStore.h.

int Sto_Man_t_::nVars

Definition at line 85 of file satStore.h.

char* Sto_Man_t_::pChunkLast

Definition at line 95 of file satStore.h.

Sto_Cls_t* Sto_Man_t_::pEmpty

Definition at line 91 of file satStore.h.

Sto_Cls_t* Sto_Man_t_::pHead

Definition at line 89 of file satStore.h.

Sto_Cls_t* Sto_Man_t_::pTail

Definition at line 90 of file satStore.h.

---

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

• satStore.h