Collaboration diagram for Pr_Cls_t_:

Public Attributes
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 39 of file pr.c.

Member Data Documentation

◆ fA

unsigned Pr_Cls_t_::fA

Definition at line 48 of file pr.c.

◆ fRoot

unsigned Pr_Cls_t_::fRoot

Definition at line 49 of file pr.c.

◆ fVisit

unsigned Pr_Cls_t_::fVisit

Definition at line 50 of file pr.c.

◆ Id

int Pr_Cls_t_::Id

Definition at line 47 of file pr.c.

◆ nLits

unsigned Pr_Cls_t_::nLits

Definition at line 51 of file pr.c.

◆ pLits

lit Pr_Cls_t_::pLits[0]

Definition at line 52 of file pr.c.

◆ pNext

Pr_Cls_t* Pr_Cls_t_::pNext

Definition at line 44 of file pr.c.

◆ pNext0

Pr_Cls_t* Pr_Cls_t_::pNext0

Definition at line 45 of file pr.c.

◆ pNext1

Pr_Cls_t* Pr_Cls_t_::pNext1

Definition at line 46 of file pr.c.

◆ pProof

void* Pr_Cls_t_::pProof

Definition at line 42 of file pr.c.

◆ uTruth

unsigned Pr_Cls_t_::uTruth

Definition at line 41 of file pr.c.

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

src/sat/proof/pr.c

Public Attributes