Pr_Cls_t_ Struct Reference

Collaboration diagram for Pr_Cls_t_:

[legend]

Data Fields
unsigned	uTruth
void *	pProof
Pr_Cls_t *	pNext
Pr_Cls_t *	pNext0
Pr_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 36 of file pr.c.

---

Field Documentation

unsigned Pr_Cls_t_::fA

Definition at line 45 of file pr.c.

unsigned Pr_Cls_t_::fRoot

Definition at line 46 of file pr.c.

unsigned Pr_Cls_t_::fVisit

Definition at line 47 of file pr.c.

int Pr_Cls_t_::Id

Definition at line 44 of file pr.c.

unsigned Pr_Cls_t_::nLits

Definition at line 48 of file pr.c.

lit Pr_Cls_t_::pLits[0]

Definition at line 49 of file pr.c.

Pr_Cls_t* Pr_Cls_t_::pNext

Definition at line 41 of file pr.c.

Pr_Cls_t* Pr_Cls_t_::pNext0

Definition at line 42 of file pr.c.

Pr_Cls_t* Pr_Cls_t_::pNext1

Definition at line 43 of file pr.c.

void* Pr_Cls_t_::pProof

Definition at line 39 of file pr.c.

unsigned Pr_Cls_t_::uTruth

Definition at line 38 of file pr.c.

---

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

• src/sat/proof/pr.c