Intb_Man_t_ Struct Reference

Data Fields
Sto_Man_t *	pCnf
Vec_Int_t *	vVarsAB
int	fVerbose
int	fProofVerif
int	fProofWrite
int	nVarsAlloc
int	nClosAlloc
int	nRootSize
int	nTrailSize
lit *	pTrail
lit *	pAssigns
char *	pSeens
Sto_Cls_t **	pReasons
Sto_Cls_t **	pWatches
Aig_Man_t *	pAig
int *	pVarTypes
Aig_Obj_t **	pInters
int	nIntersAlloc
int	Counter
int *	pProofNums
FILE *	pFile
lit *	pResLits
int	nResLits
int	nResLitsAlloc
abctime	timeBcp
abctime	timeTrace
abctime	timeTotal

Detailed Description

Definition at line 40 of file satInterB.c.

Field Documentation

int Intb_Man_t_::Counter

Definition at line 65 of file satInterB.c.

int Intb_Man_t_::fProofVerif

Definition at line 47 of file satInterB.c.

int Intb_Man_t_::fProofWrite

Definition at line 48 of file satInterB.c.

int Intb_Man_t_::fVerbose

Definition at line 46 of file satInterB.c.

int Intb_Man_t_::nClosAlloc

Definition at line 50 of file satInterB.c.

int Intb_Man_t_::nIntersAlloc

Definition at line 63 of file satInterB.c.

int Intb_Man_t_::nResLits

Definition at line 70 of file satInterB.c.

int Intb_Man_t_::nResLitsAlloc

Definition at line 71 of file satInterB.c.

int Intb_Man_t_::nRootSize

Definition at line 52 of file satInterB.c.

int Intb_Man_t_::nTrailSize

Definition at line 53 of file satInterB.c.

int Intb_Man_t_::nVarsAlloc

Definition at line 49 of file satInterB.c.

Aig_Man_t* Intb_Man_t_::pAig

Definition at line 60 of file satInterB.c.

lit* Intb_Man_t_::pAssigns

Definition at line 55 of file satInterB.c.

Sto_Man_t* Intb_Man_t_::pCnf

Definition at line 43 of file satInterB.c.

FILE* Intb_Man_t_::pFile

Definition at line 67 of file satInterB.c.

Aig_Obj_t** Intb_Man_t_::pInters

Definition at line 62 of file satInterB.c.

int* Intb_Man_t_::pProofNums

Definition at line 66 of file satInterB.c.

Sto_Cls_t** Intb_Man_t_::pReasons

Definition at line 57 of file satInterB.c.

lit* Intb_Man_t_::pResLits

Definition at line 69 of file satInterB.c.

char* Intb_Man_t_::pSeens

Definition at line 56 of file satInterB.c.

lit* Intb_Man_t_::pTrail

Definition at line 54 of file satInterB.c.

int* Intb_Man_t_::pVarTypes

Definition at line 61 of file satInterB.c.

Sto_Cls_t** Intb_Man_t_::pWatches

Definition at line 58 of file satInterB.c.

abctime Intb_Man_t_::timeBcp

Definition at line 73 of file satInterB.c.

abctime Intb_Man_t_::timeTotal

Definition at line 75 of file satInterB.c.

abctime Intb_Man_t_::timeTrace

Definition at line 74 of file satInterB.c.

Vec_Int_t* Intb_Man_t_::vVarsAB

Definition at line 44 of file satInterB.c.

---

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

• satInterB.c