Sto_Cls_t_ Struct Reference

#include <satStore.h>

Collaboration diagram for Sto_Cls_t_:

[legend]

Data Fields
Sto_Cls_t *	pNext
Sto_Cls_t *	pNext0
Sto_Cls_t *	pNext1
int	Id
unsigned	fA: 1
unsigned	fRoot: 1
unsigned	fVisit: 1
unsigned	nLits: 24
lit	pLits [0]

---

Detailed Description

Definition at line 60 of file satStore.h.

---

Field Documentation

unsigned Sto_Cls_t_::fA

Definition at line 66 of file satStore.h.

unsigned Sto_Cls_t_::fRoot

Definition at line 67 of file satStore.h.

unsigned Sto_Cls_t_::fVisit

Definition at line 68 of file satStore.h.

int Sto_Cls_t_::Id

Definition at line 65 of file satStore.h.

unsigned Sto_Cls_t_::nLits

Definition at line 69 of file satStore.h.

lit Sto_Cls_t_::pLits[0]

Definition at line 70 of file satStore.h.

Sto_Cls_t* Sto_Cls_t_::pNext

Definition at line 62 of file satStore.h.

Sto_Cls_t* Sto_Cls_t_::pNext0

Definition at line 63 of file satStore.h.

Sto_Cls_t* Sto_Cls_t_::pNext1

Definition at line 64 of file satStore.h.

---

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

• src/sat/bsat/satStore.h