Collaboration diagram for Odc_Man_t_:

[legend]

Public Attributes
int	nVarsMax

int	nLevels

int	fVerbose

int	fVeryVerbose

int	nPercCutoff

int	skipQuant

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.

Member Data Documentation

◆ fVerbose

int Odc_Man_t_::fVerbose

Definition at line 50 of file abcOdc.c.

◆ fVeryVerbose

int Odc_Man_t_::fVeryVerbose

Definition at line 51 of file abcOdc.c.

◆ iRoot

Odc_Lit_t Odc_Man_t_::iRoot

Definition at line 67 of file abcOdc.c.

◆ nBits

int Odc_Man_t_::nBits

Definition at line 75 of file abcOdc.c.

◆ nLevels

int Odc_Man_t_::nLevels

Definition at line 49 of file abcOdc.c.

◆ nObjs

int Odc_Man_t_::nObjs

Definition at line 64 of file abcOdc.c.

◆ nObjsAlloc

int Odc_Man_t_::nObjsAlloc

Definition at line 65 of file abcOdc.c.

◆ nPercCutoff

int Odc_Man_t_::nPercCutoff

Definition at line 52 of file abcOdc.c.

◆ nPis

int Odc_Man_t_::nPis

Definition at line 63 of file abcOdc.c.

◆ nQuantsOver

int Odc_Man_t_::nQuantsOver

Definition at line 85 of file abcOdc.c.

◆ nSimsEmpty

int Odc_Man_t_::nSimsEmpty

Definition at line 84 of file abcOdc.c.

◆ nTableSize

int Odc_Man_t_::nTableSize

Definition at line 71 of file abcOdc.c.

◆ nTotalDcs

int Odc_Man_t_::nTotalDcs

Definition at line 87 of file abcOdc.c.

◆ nTravIds

unsigned short Odc_Man_t_::nTravIds

Definition at line 68 of file abcOdc.c.

◆ nVarsMax

int Odc_Man_t_::nVarsMax

Definition at line 48 of file abcOdc.c.

◆ nWins

int Odc_Man_t_::nWins

Definition at line 82 of file abcOdc.c.

◆ nWinsEmpty

int Odc_Man_t_::nWinsEmpty

Definition at line 83 of file abcOdc.c.

◆ nWinsFinish

int Odc_Man_t_::nWinsFinish

Definition at line 86 of file abcOdc.c.

◆ nWords

int Odc_Man_t_::nWords

Definition at line 76 of file abcOdc.c.

◆ pNode

Abc_Obj_t* Odc_Man_t_::pNode

Definition at line 56 of file abcOdc.c.

◆ pObjs

Odc_Obj_t* Odc_Man_t_::pObjs

Definition at line 66 of file abcOdc.c.

◆ pTable

Odc_Lit_t* Odc_Man_t_::pTable

Definition at line 70 of file abcOdc.c.

◆ puTruth

unsigned* Odc_Man_t_::puTruth

Definition at line 79 of file abcOdc.c.

◆ skipQuant

int Odc_Man_t_::skipQuant

Definition at line 53 of file abcOdc.c.

◆ timeAbort

abctime Odc_Man_t_::timeAbort

Definition at line 97 of file abcOdc.c.

◆ timeClean

abctime Odc_Man_t_::timeClean

Definition at line 90 of file abcOdc.c.

◆ timeMiter

abctime Odc_Man_t_::timeMiter

Definition at line 92 of file abcOdc.c.

◆ timeQuant

abctime Odc_Man_t_::timeQuant

Definition at line 94 of file abcOdc.c.

◆ timeSim

abctime Odc_Man_t_::timeSim

Definition at line 93 of file abcOdc.c.

◆ timeTotal

abctime Odc_Man_t_::timeTotal

Definition at line 96 of file abcOdc.c.

◆ timeTruth

abctime Odc_Man_t_::timeTruth

Definition at line 95 of file abcOdc.c.

◆ timeWin

abctime Odc_Man_t_::timeWin

Definition at line 91 of file abcOdc.c.

◆ vBranches

Vec_Ptr_t* Odc_Man_t_::vBranches

Definition at line 59 of file abcOdc.c.

◆ vLeaves

Vec_Ptr_t* Odc_Man_t_::vLeaves

Definition at line 57 of file abcOdc.c.

◆ vRoots

Vec_Ptr_t* Odc_Man_t_::vRoots

Definition at line 58 of file abcOdc.c.

◆ vTruths

Vec_Ptr_t* Odc_Man_t_::vTruths

Definition at line 77 of file abcOdc.c.

◆ vTruthsElem

Vec_Ptr_t* Odc_Man_t_::vTruthsElem

Definition at line 78 of file abcOdc.c.

◆ vUsedSpots

Vec_Int_t* Odc_Man_t_::vUsedSpots

Definition at line 72 of file abcOdc.c.

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

src/base/abci/abcOdc.c

Public Attributes