#include <pdrInt.h>

Data Fields
Pdr_Par_t *	pPars

Aig_Man_t *	pAig

Cnf_Man_t *	pCnfMan

Cnf_Dat_t *	pCnf1

Vec_Int_t *	vVar2Reg

Cnf_Dat_t *	pCnf2

Vec_Int_t *	pvId2Vars

Vec_Ptr_t	vVar2Ids

Vec_Wec_t *	vVLits

int	iOutCur

Vec_Ptr_t *	vCexes

Vec_Ptr_t *	vSolvers

Vec_Vec_t *	vClauses

Pdr_Obl_t *	pQueue

int *	pOrder

Vec_Int_t *	vActVars

int	iUseFrame

Vec_Int_t *	vPrio

Vec_Int_t *	vLits

Vec_Int_t *	vCiObjs

Vec_Int_t *	vCoObjs

Vec_Int_t *	vCiVals

Vec_Int_t *	vCoVals

Vec_Int_t *	vNodes

Vec_Int_t *	vUndo

Vec_Int_t *	vVisits

Vec_Int_t *	vCi2Rem

Vec_Int_t *	vRes

Vec_Int_t *	vSuppLits

Pdr_Set_t *	pCubeJust

abctime *	pTime4Outs

int	nBlocks

int	nObligs

int	nCubes

int	nCalls

int	nCallsS

int	nCallsU

int	nStarts

int	nFrames

int	nCasesSS

int	nCasesSU

int	nCasesUS

int	nCasesUU

int	nQueCur

int	nQueMax

int	nQueLim

abctime	timeToStop

abctime	timeToStopOne

abctime	tSat

abctime	tSatSat

abctime	tSatUnsat

abctime	tGeneral

abctime	tPush

abctime	tTsim

abctime	tContain

abctime	tCnf

abctime	tTotal

Detailed Description

Definition at line 66 of file pdrInt.h.

Field Documentation

int Pdr_Man_t_::iOutCur

Definition at line 81 of file pdrInt.h.

int Pdr_Man_t_::iUseFrame

Definition at line 88 of file pdrInt.h.

int Pdr_Man_t_::nBlocks

Definition at line 105 of file pdrInt.h.

int Pdr_Man_t_::nCalls

Definition at line 108 of file pdrInt.h.

int Pdr_Man_t_::nCallsS

Definition at line 109 of file pdrInt.h.

int Pdr_Man_t_::nCallsU

Definition at line 110 of file pdrInt.h.

int Pdr_Man_t_::nCasesSS

Definition at line 113 of file pdrInt.h.

int Pdr_Man_t_::nCasesSU

Definition at line 114 of file pdrInt.h.

int Pdr_Man_t_::nCasesUS

Definition at line 115 of file pdrInt.h.

int Pdr_Man_t_::nCasesUU

Definition at line 116 of file pdrInt.h.

int Pdr_Man_t_::nCubes

Definition at line 107 of file pdrInt.h.

int Pdr_Man_t_::nFrames

Definition at line 112 of file pdrInt.h.

int Pdr_Man_t_::nObligs

Definition at line 106 of file pdrInt.h.

int Pdr_Man_t_::nQueCur

Definition at line 117 of file pdrInt.h.

int Pdr_Man_t_::nQueLim

Definition at line 119 of file pdrInt.h.

int Pdr_Man_t_::nQueMax

Definition at line 118 of file pdrInt.h.

int Pdr_Man_t_::nStarts

Definition at line 111 of file pdrInt.h.

Aig_Man_t* Pdr_Man_t_::pAig

Definition at line 70 of file pdrInt.h.

Cnf_Dat_t* Pdr_Man_t_::pCnf1

Definition at line 73 of file pdrInt.h.

Cnf_Dat_t* Pdr_Man_t_::pCnf2

Definition at line 76 of file pdrInt.h.

Cnf_Man_t* Pdr_Man_t_::pCnfMan

Definition at line 72 of file pdrInt.h.

Pdr_Set_t* Pdr_Man_t_::pCubeJust

Definition at line 102 of file pdrInt.h.

int* Pdr_Man_t_::pOrder

Definition at line 86 of file pdrInt.h.

Pdr_Par_t* Pdr_Man_t_::pPars

Definition at line 69 of file pdrInt.h.

Pdr_Obl_t* Pdr_Man_t_::pQueue

Definition at line 85 of file pdrInt.h.

abctime* Pdr_Man_t_::pTime4Outs

Definition at line 103 of file pdrInt.h.

Vec_Int_t* Pdr_Man_t_::pvId2Vars

Definition at line 77 of file pdrInt.h.

abctime Pdr_Man_t_::tCnf

Definition at line 131 of file pdrInt.h.

abctime Pdr_Man_t_::tContain

Definition at line 130 of file pdrInt.h.

abctime Pdr_Man_t_::tGeneral

Definition at line 127 of file pdrInt.h.

abctime Pdr_Man_t_::timeToStop

Definition at line 121 of file pdrInt.h.

abctime Pdr_Man_t_::timeToStopOne

Definition at line 122 of file pdrInt.h.

abctime Pdr_Man_t_::tPush

Definition at line 128 of file pdrInt.h.

abctime Pdr_Man_t_::tSat

Definition at line 124 of file pdrInt.h.

abctime Pdr_Man_t_::tSatSat

Definition at line 125 of file pdrInt.h.

abctime Pdr_Man_t_::tSatUnsat

Definition at line 126 of file pdrInt.h.

abctime Pdr_Man_t_::tTotal

Definition at line 132 of file pdrInt.h.

abctime Pdr_Man_t_::tTsim

Definition at line 129 of file pdrInt.h.

Vec_Int_t* Pdr_Man_t_::vActVars

Definition at line 87 of file pdrInt.h.

Vec_Ptr_t* Pdr_Man_t_::vCexes

Definition at line 82 of file pdrInt.h.

Vec_Int_t* Pdr_Man_t_::vCi2Rem

Definition at line 99 of file pdrInt.h.

Vec_Int_t* Pdr_Man_t_::vCiObjs

Definition at line 92 of file pdrInt.h.

Vec_Int_t* Pdr_Man_t_::vCiVals

Definition at line 94 of file pdrInt.h.

Vec_Vec_t* Pdr_Man_t_::vClauses

Definition at line 84 of file pdrInt.h.

Vec_Int_t* Pdr_Man_t_::vCoObjs

Definition at line 93 of file pdrInt.h.

Vec_Int_t* Pdr_Man_t_::vCoVals

Definition at line 95 of file pdrInt.h.

Vec_Int_t* Pdr_Man_t_::vLits

Definition at line 91 of file pdrInt.h.

Vec_Int_t* Pdr_Man_t_::vNodes

Definition at line 96 of file pdrInt.h.

Vec_Int_t* Pdr_Man_t_::vPrio

Definition at line 90 of file pdrInt.h.

Vec_Int_t* Pdr_Man_t_::vRes

Definition at line 100 of file pdrInt.h.

Vec_Ptr_t* Pdr_Man_t_::vSolvers

Definition at line 83 of file pdrInt.h.

Vec_Int_t* Pdr_Man_t_::vSuppLits

Definition at line 101 of file pdrInt.h.

Vec_Int_t* Pdr_Man_t_::vUndo

Definition at line 97 of file pdrInt.h.

Vec_Ptr_t Pdr_Man_t_::vVar2Ids

Definition at line 78 of file pdrInt.h.

Vec_Int_t* Pdr_Man_t_::vVar2Reg

Definition at line 74 of file pdrInt.h.

Vec_Int_t* Pdr_Man_t_::vVisits

Definition at line 98 of file pdrInt.h.

Vec_Wec_t* Pdr_Man_t_::vVLits

Definition at line 79 of file pdrInt.h.

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

pdrInt.h

Data Fields

Detailed Description

Field Documentation