Sto_Cls_t_ Struct Reference

#include <satStore.h>

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

Field Documentation

unsigned Sto_Cls_t_::fA

Definition at line 74 of file satStore.h.

unsigned Sto_Cls_t_::fRoot

Definition at line 75 of file satStore.h.

unsigned Sto_Cls_t_::fVisit

Definition at line 76 of file satStore.h.

int Sto_Cls_t_::Id

Definition at line 73 of file satStore.h.

unsigned Sto_Cls_t_::nLits

Definition at line 77 of file satStore.h.

lit Sto_Cls_t_::pLits[0]

Definition at line 78 of file satStore.h.

Sto_Cls_t* Sto_Cls_t_::pNext

Definition at line 70 of file satStore.h.

Sto_Cls_t* Sto_Cls_t_::pNext0

Definition at line 71 of file satStore.h.

Sto_Cls_t* Sto_Cls_t_::pNext1

Definition at line 72 of file satStore.h.

---

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

• satStore.h