#include <pdrInt.h>

Collaboration diagram for Pdr_Man_t_:

[legend]

Public Attributes
Pdr_Par_t *	pPars

Aig_Man_t *	pAig

Gia_Man_t *	pGia

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

int	nPrioShift

Vec_Ptr_t *	vCexes

Vec_Ptr_t *	vSolvers

Vec_Vec_t *	vClauses

Pdr_Obl_t *	pQueue

int *	pOrder

Vec_Int_t *	vActVars

int	iUseFrame

int	nAbsFlops

Vec_Int_t *	vAbsFlops

Vec_Int_t *	vMapFf2Ppi

Vec_Int_t *	vMapPpi2Ff

int	nCexes

int	nCexesTotal

Txs3_Man_t *	pTxs3

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

abctime *	pTime4Outs

Vec_Ptr_t *	vInfCubes

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

int	nXsimRuns

int	nXsimLits

abctime	timeToStop

abctime	timeToStopOne

abctime	tSat

abctime	tSatSat

abctime	tSatUnsat

abctime	tGeneral

abctime	tPush

abctime	tTsim

abctime	tContain

abctime	tCnf

abctime	tAbs

abctime	tTotal

Detailed Description

Definition at line 96 of file pdrInt.h.

Member Data Documentation

◆ iOutCur

int Pdr_Man_t_::iOutCur

Definition at line 112 of file pdrInt.h.

◆ iUseFrame

int Pdr_Man_t_::iUseFrame

Definition at line 120 of file pdrInt.h.

◆ nAbsFlops

int Pdr_Man_t_::nAbsFlops

Definition at line 121 of file pdrInt.h.

◆ nBlocks

int Pdr_Man_t_::nBlocks

Definition at line 144 of file pdrInt.h.

◆ nCalls

int Pdr_Man_t_::nCalls

Definition at line 147 of file pdrInt.h.

◆ nCallsS

int Pdr_Man_t_::nCallsS

Definition at line 148 of file pdrInt.h.

◆ nCallsU

int Pdr_Man_t_::nCallsU

Definition at line 149 of file pdrInt.h.

◆ nCasesSS

int Pdr_Man_t_::nCasesSS

Definition at line 152 of file pdrInt.h.

◆ nCasesSU

int Pdr_Man_t_::nCasesSU

Definition at line 153 of file pdrInt.h.

◆ nCasesUS

int Pdr_Man_t_::nCasesUS

Definition at line 154 of file pdrInt.h.

◆ nCasesUU

int Pdr_Man_t_::nCasesUU

Definition at line 155 of file pdrInt.h.

◆ nCexes

int Pdr_Man_t_::nCexes

Definition at line 125 of file pdrInt.h.

◆ nCexesTotal

int Pdr_Man_t_::nCexesTotal

Definition at line 126 of file pdrInt.h.

◆ nCubes

int Pdr_Man_t_::nCubes

Definition at line 146 of file pdrInt.h.

◆ nFrames

int Pdr_Man_t_::nFrames

Definition at line 151 of file pdrInt.h.

◆ nObligs

int Pdr_Man_t_::nObligs

Definition at line 145 of file pdrInt.h.

◆ nPrioShift

int Pdr_Man_t_::nPrioShift

Definition at line 113 of file pdrInt.h.

◆ nQueCur

int Pdr_Man_t_::nQueCur

Definition at line 156 of file pdrInt.h.

◆ nQueLim

int Pdr_Man_t_::nQueLim

Definition at line 158 of file pdrInt.h.

◆ nQueMax

int Pdr_Man_t_::nQueMax

Definition at line 157 of file pdrInt.h.

◆ nStarts

int Pdr_Man_t_::nStarts

Definition at line 150 of file pdrInt.h.

◆ nXsimLits

int Pdr_Man_t_::nXsimLits

Definition at line 160 of file pdrInt.h.

◆ nXsimRuns

int Pdr_Man_t_::nXsimRuns

Definition at line 159 of file pdrInt.h.

◆ pAig

Aig_Man_t* Pdr_Man_t_::pAig

Definition at line 100 of file pdrInt.h.

◆ pCnf1

Cnf_Dat_t* Pdr_Man_t_::pCnf1

Definition at line 104 of file pdrInt.h.

◆ pCnf2

Cnf_Dat_t* Pdr_Man_t_::pCnf2

Definition at line 107 of file pdrInt.h.

◆ pCnfMan

Cnf_Man_t* Pdr_Man_t_::pCnfMan

Definition at line 103 of file pdrInt.h.

◆ pGia

Gia_Man_t* Pdr_Man_t_::pGia

Definition at line 101 of file pdrInt.h.

◆ pOrder

int* Pdr_Man_t_::pOrder

Definition at line 118 of file pdrInt.h.

◆ pPars

Pdr_Par_t* Pdr_Man_t_::pPars

Definition at line 99 of file pdrInt.h.

◆ pQueue

Pdr_Obl_t* Pdr_Man_t_::pQueue

Definition at line 117 of file pdrInt.h.

◆ pTime4Outs

abctime* Pdr_Man_t_::pTime4Outs

Definition at line 141 of file pdrInt.h.

◆ pTxs3

Txs3_Man_t* Pdr_Man_t_::pTxs3

Definition at line 128 of file pdrInt.h.

◆ pvId2Vars

Vec_Int_t* Pdr_Man_t_::pvId2Vars

Definition at line 108 of file pdrInt.h.

◆ tAbs

abctime Pdr_Man_t_::tAbs

Definition at line 173 of file pdrInt.h.

◆ tCnf

abctime Pdr_Man_t_::tCnf

Definition at line 172 of file pdrInt.h.

◆ tContain

abctime Pdr_Man_t_::tContain

Definition at line 171 of file pdrInt.h.

◆ tGeneral

abctime Pdr_Man_t_::tGeneral

Definition at line 168 of file pdrInt.h.

◆ timeToStop

abctime Pdr_Man_t_::timeToStop

Definition at line 162 of file pdrInt.h.

◆ timeToStopOne

abctime Pdr_Man_t_::timeToStopOne

Definition at line 163 of file pdrInt.h.

◆ tPush

abctime Pdr_Man_t_::tPush

Definition at line 169 of file pdrInt.h.

◆ tSat

abctime Pdr_Man_t_::tSat

Definition at line 165 of file pdrInt.h.

◆ tSatSat

abctime Pdr_Man_t_::tSatSat

Definition at line 166 of file pdrInt.h.

◆ tSatUnsat

abctime Pdr_Man_t_::tSatUnsat

Definition at line 167 of file pdrInt.h.

◆ tTotal

abctime Pdr_Man_t_::tTotal

Definition at line 174 of file pdrInt.h.

◆ tTsim

abctime Pdr_Man_t_::tTsim

Definition at line 170 of file pdrInt.h.

◆ vAbsFlops

Vec_Int_t* Pdr_Man_t_::vAbsFlops

Definition at line 122 of file pdrInt.h.

◆ vActVars

Vec_Int_t* Pdr_Man_t_::vActVars

Definition at line 119 of file pdrInt.h.

◆ vCexes

Vec_Ptr_t* Pdr_Man_t_::vCexes

Definition at line 114 of file pdrInt.h.

◆ vCi2Rem

Vec_Int_t* Pdr_Man_t_::vCi2Rem

Definition at line 139 of file pdrInt.h.

◆ vCiObjs

Vec_Int_t* Pdr_Man_t_::vCiObjs

Definition at line 132 of file pdrInt.h.

◆ vCiVals

Vec_Int_t* Pdr_Man_t_::vCiVals

Definition at line 134 of file pdrInt.h.

◆ vClauses

Vec_Vec_t* Pdr_Man_t_::vClauses

Definition at line 116 of file pdrInt.h.

◆ vCoObjs

Vec_Int_t* Pdr_Man_t_::vCoObjs

Definition at line 133 of file pdrInt.h.

◆ vCoVals

Vec_Int_t* Pdr_Man_t_::vCoVals

Definition at line 135 of file pdrInt.h.

◆ vInfCubes

Vec_Ptr_t* Pdr_Man_t_::vInfCubes

Definition at line 142 of file pdrInt.h.

◆ vLits

Vec_Int_t* Pdr_Man_t_::vLits

Definition at line 131 of file pdrInt.h.

◆ vMapFf2Ppi

Vec_Int_t* Pdr_Man_t_::vMapFf2Ppi

Definition at line 123 of file pdrInt.h.

◆ vMapPpi2Ff

Vec_Int_t* Pdr_Man_t_::vMapPpi2Ff

Definition at line 124 of file pdrInt.h.

◆ vNodes

Vec_Int_t* Pdr_Man_t_::vNodes

Definition at line 136 of file pdrInt.h.

◆ vPrio

Vec_Int_t* Pdr_Man_t_::vPrio

Definition at line 130 of file pdrInt.h.

◆ vRes

Vec_Int_t* Pdr_Man_t_::vRes

Definition at line 140 of file pdrInt.h.

◆ vSolvers

Vec_Ptr_t* Pdr_Man_t_::vSolvers

Definition at line 115 of file pdrInt.h.

◆ vUndo

Vec_Int_t* Pdr_Man_t_::vUndo

Definition at line 137 of file pdrInt.h.

◆ vVar2Ids

Vec_Ptr_t Pdr_Man_t_::vVar2Ids

Definition at line 109 of file pdrInt.h.

◆ vVar2Reg

Vec_Int_t* Pdr_Man_t_::vVar2Reg

Definition at line 105 of file pdrInt.h.

◆ vVisits

Vec_Int_t* Pdr_Man_t_::vVisits

Definition at line 138 of file pdrInt.h.

◆ vVLits

Vec_Wec_t* Pdr_Man_t_::vVLits

Definition at line 110 of file pdrInt.h.

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

src/proof/pdr/pdrInt.h

Public Attributes