Odc_Man_t_ Struct Reference

Collaboration diagram for Odc_Man_t_:

[legend]

Data Fields
int	nVarsMax
int	nLevels
int	fVerbose
int	fVeryVerbose
int	nPercCutoff
Abc_Obj_t *	pNode
Vec_Ptr_t *	vLeaves
Vec_Ptr_t *	vRoots
Vec_Ptr_t *	vBranches
int	nPis
int	nObjs
int	nObjsAlloc
Odc_Obj_t *	pObjs
Odc_Lit_t	iRoot
unsigned short	nTravIds
Odc_Lit_t *	pTable
int	nTableSize
Vec_Int_t *	vUsedSpots
int	nBits
int	nWords
Vec_Ptr_t *	vTruths
Vec_Ptr_t *	vTruthsElem
unsigned *	puTruth
int	nWins
int	nWinsEmpty
int	nSimsEmpty
int	nQuantsOver
int	nWinsFinish
int	nTotalDcs
int	timeClean
int	timeWin
int	timeMiter
int	timeSim
int	timeQuant
int	timeTruth
int	timeTotal
int	timeAbort

---

Detailed Description

Definition at line 43 of file abcOdc.c.

---

Field Documentation

int Odc_Man_t_::fVerbose

Definition at line 48 of file abcOdc.c.

int Odc_Man_t_::fVeryVerbose

Definition at line 49 of file abcOdc.c.

Odc_Lit_t Odc_Man_t_::iRoot

Definition at line 64 of file abcOdc.c.

int Odc_Man_t_::nBits

Definition at line 72 of file abcOdc.c.

int Odc_Man_t_::nLevels

Definition at line 47 of file abcOdc.c.

int Odc_Man_t_::nObjs

Definition at line 61 of file abcOdc.c.

int Odc_Man_t_::nObjsAlloc

Definition at line 62 of file abcOdc.c.

int Odc_Man_t_::nPercCutoff

Definition at line 50 of file abcOdc.c.

int Odc_Man_t_::nPis

Definition at line 60 of file abcOdc.c.

int Odc_Man_t_::nQuantsOver

Definition at line 82 of file abcOdc.c.

int Odc_Man_t_::nSimsEmpty

Definition at line 81 of file abcOdc.c.

int Odc_Man_t_::nTableSize

Definition at line 68 of file abcOdc.c.

int Odc_Man_t_::nTotalDcs

Definition at line 84 of file abcOdc.c.

unsigned short Odc_Man_t_::nTravIds

Definition at line 65 of file abcOdc.c.

int Odc_Man_t_::nVarsMax

Definition at line 46 of file abcOdc.c.

int Odc_Man_t_::nWins

Definition at line 79 of file abcOdc.c.

int Odc_Man_t_::nWinsEmpty

Definition at line 80 of file abcOdc.c.

int Odc_Man_t_::nWinsFinish

Definition at line 83 of file abcOdc.c.

int Odc_Man_t_::nWords

Definition at line 73 of file abcOdc.c.

Abc_Obj_t* Odc_Man_t_::pNode

Definition at line 53 of file abcOdc.c.

Odc_Obj_t* Odc_Man_t_::pObjs

Definition at line 63 of file abcOdc.c.

Odc_Lit_t* Odc_Man_t_::pTable

Definition at line 67 of file abcOdc.c.

unsigned* Odc_Man_t_::puTruth

Definition at line 76 of file abcOdc.c.

int Odc_Man_t_::timeAbort

Definition at line 94 of file abcOdc.c.

int Odc_Man_t_::timeClean

Definition at line 87 of file abcOdc.c.

int Odc_Man_t_::timeMiter

Definition at line 89 of file abcOdc.c.

int Odc_Man_t_::timeQuant

Definition at line 91 of file abcOdc.c.

int Odc_Man_t_::timeSim

Definition at line 90 of file abcOdc.c.

int Odc_Man_t_::timeTotal

Definition at line 93 of file abcOdc.c.

int Odc_Man_t_::timeTruth

Definition at line 92 of file abcOdc.c.

int Odc_Man_t_::timeWin

Definition at line 88 of file abcOdc.c.

Vec_Ptr_t* Odc_Man_t_::vBranches

Definition at line 56 of file abcOdc.c.

Vec_Ptr_t* Odc_Man_t_::vLeaves

Definition at line 54 of file abcOdc.c.

Vec_Ptr_t* Odc_Man_t_::vRoots

Definition at line 55 of file abcOdc.c.

Vec_Ptr_t* Odc_Man_t_::vTruths

Definition at line 74 of file abcOdc.c.

Vec_Ptr_t* Odc_Man_t_::vTruthsElem

Definition at line 75 of file abcOdc.c.

Vec_Int_t* Odc_Man_t_::vUsedSpots

Definition at line 69 of file abcOdc.c.

---

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

• src/base/abci/abcOdc.c