Odc_Man_t_ Struct Reference

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
abctime	timeClean
abctime	timeWin
abctime	timeMiter
abctime	timeSim
abctime	timeQuant
abctime	timeTruth
abctime	timeTotal
abctime	timeAbort

Detailed Description

Definition at line 45 of file abcOdc.c.

Field Documentation

int Odc_Man_t_::fVerbose

Definition at line 50 of file abcOdc.c.

int Odc_Man_t_::fVeryVerbose

Definition at line 51 of file abcOdc.c.

Odc_Lit_t Odc_Man_t_::iRoot

Definition at line 66 of file abcOdc.c.

int Odc_Man_t_::nBits

Definition at line 74 of file abcOdc.c.

int Odc_Man_t_::nLevels

Definition at line 49 of file abcOdc.c.

int Odc_Man_t_::nObjs

Definition at line 63 of file abcOdc.c.

int Odc_Man_t_::nObjsAlloc

Definition at line 64 of file abcOdc.c.

int Odc_Man_t_::nPercCutoff

Definition at line 52 of file abcOdc.c.

int Odc_Man_t_::nPis

Definition at line 62 of file abcOdc.c.

int Odc_Man_t_::nQuantsOver

Definition at line 84 of file abcOdc.c.

int Odc_Man_t_::nSimsEmpty

Definition at line 83 of file abcOdc.c.

int Odc_Man_t_::nTableSize

Definition at line 70 of file abcOdc.c.

int Odc_Man_t_::nTotalDcs

Definition at line 86 of file abcOdc.c.

unsigned short Odc_Man_t_::nTravIds

Definition at line 67 of file abcOdc.c.

int Odc_Man_t_::nVarsMax

Definition at line 48 of file abcOdc.c.

int Odc_Man_t_::nWins

Definition at line 81 of file abcOdc.c.

int Odc_Man_t_::nWinsEmpty

Definition at line 82 of file abcOdc.c.

int Odc_Man_t_::nWinsFinish

Definition at line 85 of file abcOdc.c.

int Odc_Man_t_::nWords

Definition at line 75 of file abcOdc.c.

Abc_Obj_t* Odc_Man_t_::pNode

Definition at line 55 of file abcOdc.c.

Odc_Obj_t* Odc_Man_t_::pObjs

Definition at line 65 of file abcOdc.c.

Odc_Lit_t* Odc_Man_t_::pTable

Definition at line 69 of file abcOdc.c.

unsigned* Odc_Man_t_::puTruth

Definition at line 78 of file abcOdc.c.

abctime Odc_Man_t_::timeAbort

Definition at line 96 of file abcOdc.c.

abctime Odc_Man_t_::timeClean

Definition at line 89 of file abcOdc.c.

abctime Odc_Man_t_::timeMiter

Definition at line 91 of file abcOdc.c.

abctime Odc_Man_t_::timeQuant

Definition at line 93 of file abcOdc.c.

abctime Odc_Man_t_::timeSim

Definition at line 92 of file abcOdc.c.

abctime Odc_Man_t_::timeTotal

Definition at line 95 of file abcOdc.c.

abctime Odc_Man_t_::timeTruth

Definition at line 94 of file abcOdc.c.

abctime Odc_Man_t_::timeWin

Definition at line 90 of file abcOdc.c.

Vec_Ptr_t* Odc_Man_t_::vBranches

Definition at line 58 of file abcOdc.c.

Vec_Ptr_t* Odc_Man_t_::vLeaves

Definition at line 56 of file abcOdc.c.

Vec_Ptr_t* Odc_Man_t_::vRoots

Definition at line 57 of file abcOdc.c.

Vec_Ptr_t* Odc_Man_t_::vTruths

Definition at line 76 of file abcOdc.c.

Vec_Ptr_t* Odc_Man_t_::vTruthsElem

Definition at line 77 of file abcOdc.c.

Vec_Int_t* Odc_Man_t_::vUsedSpots

Definition at line 71 of file abcOdc.c.

---

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

• abcOdc.c