Abc_ManRef_t_ Struct Reference

Data Fields
int	nNodeSizeMax
int	nConeSizeMax
int	fVerbose
DdManager *	dd
Vec_Str_t *	vCube
Vec_Int_t *	vForm
Vec_Ptr_t *	vVisited
Vec_Ptr_t *	vLeaves
int	nLastGain
int	nNodesConsidered
int	nNodesRefactored
int	nNodesGained
int	nNodesBeg
int	nNodesEnd
abctime	timeCut
abctime	timeBdd
abctime	timeDcs
abctime	timeSop
abctime	timeFact
abctime	timeEval
abctime	timeRes
abctime	timeNtk
abctime	timeTotal

Detailed Description

Definition at line 33 of file abcRefactor.c.

Field Documentation

DdManager* Abc_ManRef_t_::dd

Definition at line 40 of file abcRefactor.c.

int Abc_ManRef_t_::fVerbose

Definition at line 38 of file abcRefactor.c.

int Abc_ManRef_t_::nConeSizeMax

Definition at line 37 of file abcRefactor.c.

int Abc_ManRef_t_::nLastGain

Definition at line 46 of file abcRefactor.c.

int Abc_ManRef_t_::nNodesBeg

Definition at line 50 of file abcRefactor.c.

int Abc_ManRef_t_::nNodesConsidered

Definition at line 47 of file abcRefactor.c.

int Abc_ManRef_t_::nNodesEnd

Definition at line 51 of file abcRefactor.c.

int Abc_ManRef_t_::nNodesGained

Definition at line 49 of file abcRefactor.c.

int Abc_ManRef_t_::nNodeSizeMax

Definition at line 36 of file abcRefactor.c.

int Abc_ManRef_t_::nNodesRefactored

Definition at line 48 of file abcRefactor.c.

abctime Abc_ManRef_t_::timeBdd

Definition at line 54 of file abcRefactor.c.

abctime Abc_ManRef_t_::timeCut

Definition at line 53 of file abcRefactor.c.

abctime Abc_ManRef_t_::timeDcs

Definition at line 55 of file abcRefactor.c.

abctime Abc_ManRef_t_::timeEval

Definition at line 58 of file abcRefactor.c.

abctime Abc_ManRef_t_::timeFact

Definition at line 57 of file abcRefactor.c.

abctime Abc_ManRef_t_::timeNtk

Definition at line 60 of file abcRefactor.c.

abctime Abc_ManRef_t_::timeRes

Definition at line 59 of file abcRefactor.c.

abctime Abc_ManRef_t_::timeSop

Definition at line 56 of file abcRefactor.c.

abctime Abc_ManRef_t_::timeTotal

Definition at line 61 of file abcRefactor.c.

Vec_Str_t* Abc_ManRef_t_::vCube

Definition at line 41 of file abcRefactor.c.

Vec_Int_t* Abc_ManRef_t_::vForm

Definition at line 42 of file abcRefactor.c.

Vec_Ptr_t* Abc_ManRef_t_::vLeaves

Definition at line 44 of file abcRefactor.c.

Vec_Ptr_t* Abc_ManRef_t_::vVisited

Definition at line 43 of file abcRefactor.c.

---

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

• abcRefactor.c