Pr_Man_t_ Struct Reference

Collaboration diagram for Pr_Man_t_:

[legend]

Data Fields
int	fProofWrite
int	fProofVerif
int	nVars
int	nVarsAB
int	nRoots
int	nClauses
int	nClausesA
Pr_Cls_t *	pHead
Pr_Cls_t *	pTail
Pr_Cls_t *	pLearnt
Pr_Cls_t *	pEmpty
int	nRootSize
int	nTrailSize
lit *	pTrail
lit *	pAssigns
char *	pSeens
char *	pVarTypes
Pr_Cls_t **	pReasons
Pr_Cls_t **	pWatches
int	nVarsAlloc
void *	pManProof
int	Counter
int	nChunkSize
int	nChunkUsed
char *	pChunkLast
lit *	pResLits
int	nResLits
int	nResLitsAlloc
int	timeBcp
int	timeTrace
int	timeRead
int	timeTotal

---

Detailed Description

Definition at line 52 of file pr.c.

---

Field Documentation

int Pr_Man_t_::Counter

Definition at line 78 of file pr.c.

int Pr_Man_t_::fProofVerif

Definition at line 56 of file pr.c.

int Pr_Man_t_::fProofWrite

Definition at line 55 of file pr.c.

int Pr_Man_t_::nChunkSize

Definition at line 80 of file pr.c.

int Pr_Man_t_::nChunkUsed

Definition at line 81 of file pr.c.

int Pr_Man_t_::nClauses

Definition at line 60 of file pr.c.

int Pr_Man_t_::nClausesA

Definition at line 61 of file pr.c.

int Pr_Man_t_::nResLits

Definition at line 85 of file pr.c.

int Pr_Man_t_::nResLitsAlloc

Definition at line 86 of file pr.c.

int Pr_Man_t_::nRoots

Definition at line 59 of file pr.c.

int Pr_Man_t_::nRootSize

Definition at line 67 of file pr.c.

int Pr_Man_t_::nTrailSize

Definition at line 68 of file pr.c.

int Pr_Man_t_::nVars

Definition at line 57 of file pr.c.

int Pr_Man_t_::nVarsAB

Definition at line 58 of file pr.c.

int Pr_Man_t_::nVarsAlloc

Definition at line 75 of file pr.c.

lit* Pr_Man_t_::pAssigns

Definition at line 70 of file pr.c.

char* Pr_Man_t_::pChunkLast

Definition at line 82 of file pr.c.

Pr_Cls_t* Pr_Man_t_::pEmpty

Definition at line 65 of file pr.c.

Pr_Cls_t* Pr_Man_t_::pHead

Definition at line 62 of file pr.c.

Pr_Cls_t* Pr_Man_t_::pLearnt

Definition at line 64 of file pr.c.

void* Pr_Man_t_::pManProof

Definition at line 77 of file pr.c.

Pr_Cls_t** Pr_Man_t_::pReasons

Definition at line 73 of file pr.c.

lit* Pr_Man_t_::pResLits

Definition at line 84 of file pr.c.

char* Pr_Man_t_::pSeens

Definition at line 71 of file pr.c.

Pr_Cls_t* Pr_Man_t_::pTail

Definition at line 63 of file pr.c.

lit* Pr_Man_t_::pTrail

Definition at line 69 of file pr.c.

char* Pr_Man_t_::pVarTypes

Definition at line 72 of file pr.c.

Pr_Cls_t** Pr_Man_t_::pWatches

Definition at line 74 of file pr.c.

int Pr_Man_t_::timeBcp

Definition at line 88 of file pr.c.

int Pr_Man_t_::timeRead

Definition at line 90 of file pr.c.

int Pr_Man_t_::timeTotal

Definition at line 91 of file pr.c.

int Pr_Man_t_::timeTrace

Definition at line 89 of file pr.c.

---

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

• src/sat/proof/pr.c