ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Pdr_Man_t_ Struct Reference

#include <pdrInt.h>

Collaboration diagram for Pdr_Man_t_:

Public Attributes

Pdr_Par_tpPars
 
Aig_Man_tpAig
 
Gia_Man_tpGia
 
Cnf_Man_tpCnfMan
 
Cnf_Dat_tpCnf1
 
Vec_Int_tvVar2Reg
 
Cnf_Dat_tpCnf2
 
Vec_Int_tpvId2Vars
 
Vec_Ptr_t vVar2Ids
 
Vec_Wec_tvVLits
 
int iOutCur
 
int nPrioShift
 
Vec_Ptr_tvCexes
 
Vec_Ptr_tvSolvers
 
Vec_Vec_tvClauses
 
Pdr_Obl_tpQueue
 
int * pOrder
 
Vec_Int_tvActVars
 
int iUseFrame
 
int nAbsFlops
 
Vec_Int_tvAbsFlops
 
Vec_Int_tvMapFf2Ppi
 
Vec_Int_tvMapPpi2Ff
 
int nCexes
 
int nCexesTotal
 
Txs3_Man_tpTxs3
 
Vec_Int_tvPrio
 
Vec_Int_tvLits
 
Vec_Int_tvCiObjs
 
Vec_Int_tvCoObjs
 
Vec_Int_tvCiVals
 
Vec_Int_tvCoVals
 
Vec_Int_tvNodes
 
Vec_Int_tvUndo
 
Vec_Int_tvVisits
 
Vec_Int_tvCi2Rem
 
Vec_Int_tvRes
 
abctimepTime4Outs
 
Vec_Ptr_tvInfCubes
 
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: