ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Pr_Man_t_ Struct Reference
Collaboration diagram for Pr_Man_t_:
Collaboration graph
[legend]

Public Attributes

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
 
abctime timeBcp
 
abctime timeTrace
 
abctime timeRead
 
abctime timeTotal
 

Detailed Description

Definition at line 55 of file pr.c.

Member Data Documentation

◆ Counter

int Pr_Man_t_::Counter

Definition at line 81 of file pr.c.

◆ fProofVerif

int Pr_Man_t_::fProofVerif

Definition at line 59 of file pr.c.

◆ fProofWrite

int Pr_Man_t_::fProofWrite

Definition at line 58 of file pr.c.

◆ nChunkSize

int Pr_Man_t_::nChunkSize

Definition at line 83 of file pr.c.

◆ nChunkUsed

int Pr_Man_t_::nChunkUsed

Definition at line 84 of file pr.c.

◆ nClauses

int Pr_Man_t_::nClauses

Definition at line 63 of file pr.c.

◆ nClausesA

int Pr_Man_t_::nClausesA

Definition at line 64 of file pr.c.

◆ nResLits

int Pr_Man_t_::nResLits

Definition at line 88 of file pr.c.

◆ nResLitsAlloc

int Pr_Man_t_::nResLitsAlloc

Definition at line 89 of file pr.c.

◆ nRoots

int Pr_Man_t_::nRoots

Definition at line 62 of file pr.c.

◆ nRootSize

int Pr_Man_t_::nRootSize

Definition at line 70 of file pr.c.

◆ nTrailSize

int Pr_Man_t_::nTrailSize

Definition at line 71 of file pr.c.

◆ nVars

int Pr_Man_t_::nVars

Definition at line 60 of file pr.c.

◆ nVarsAB

int Pr_Man_t_::nVarsAB

Definition at line 61 of file pr.c.

◆ nVarsAlloc

int Pr_Man_t_::nVarsAlloc

Definition at line 78 of file pr.c.

◆ pAssigns

lit* Pr_Man_t_::pAssigns

Definition at line 73 of file pr.c.

◆ pChunkLast

char* Pr_Man_t_::pChunkLast

Definition at line 85 of file pr.c.

◆ pEmpty

Pr_Cls_t* Pr_Man_t_::pEmpty

Definition at line 68 of file pr.c.

◆ pHead

Pr_Cls_t* Pr_Man_t_::pHead

Definition at line 65 of file pr.c.

◆ pLearnt

Pr_Cls_t* Pr_Man_t_::pLearnt

Definition at line 67 of file pr.c.

◆ pManProof

void* Pr_Man_t_::pManProof

Definition at line 80 of file pr.c.

◆ pReasons

Pr_Cls_t** Pr_Man_t_::pReasons

Definition at line 76 of file pr.c.

◆ pResLits

lit* Pr_Man_t_::pResLits

Definition at line 87 of file pr.c.

◆ pSeens

char* Pr_Man_t_::pSeens

Definition at line 74 of file pr.c.

◆ pTail

Pr_Cls_t* Pr_Man_t_::pTail

Definition at line 66 of file pr.c.

◆ pTrail

lit* Pr_Man_t_::pTrail

Definition at line 72 of file pr.c.

◆ pVarTypes

char* Pr_Man_t_::pVarTypes

Definition at line 75 of file pr.c.

◆ pWatches

Pr_Cls_t** Pr_Man_t_::pWatches

Definition at line 77 of file pr.c.

◆ timeBcp

abctime Pr_Man_t_::timeBcp

Definition at line 91 of file pr.c.

◆ timeRead

abctime Pr_Man_t_::timeRead

Definition at line 93 of file pr.c.

◆ timeTotal

abctime Pr_Man_t_::timeTotal

Definition at line 94 of file pr.c.

◆ timeTrace

abctime Pr_Man_t_::timeTrace

Definition at line 92 of file pr.c.

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