Abc_ManRef_t_ Struct Reference

Collaboration diagram for Abc_ManRef_t_:

[legend]

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
int	timeCut
int	timeBdd
int	timeDcs
int	timeSop
int	timeFact
int	timeEval
int	timeRes
int	timeNtk
int	timeTotal

---

Detailed Description

Definition at line 29 of file abcRefactor.c.

---

Field Documentation

DdManager* Abc_ManRef_t_::dd

Definition at line 36 of file abcRefactor.c.

int Abc_ManRef_t_::fVerbose

Definition at line 34 of file abcRefactor.c.

int Abc_ManRef_t_::nConeSizeMax

Definition at line 33 of file abcRefactor.c.

int Abc_ManRef_t_::nLastGain

Definition at line 42 of file abcRefactor.c.

int Abc_ManRef_t_::nNodesBeg

Definition at line 46 of file abcRefactor.c.

int Abc_ManRef_t_::nNodesConsidered

Definition at line 43 of file abcRefactor.c.

int Abc_ManRef_t_::nNodesEnd

Definition at line 47 of file abcRefactor.c.

int Abc_ManRef_t_::nNodesGained

Definition at line 45 of file abcRefactor.c.

int Abc_ManRef_t_::nNodeSizeMax

Definition at line 32 of file abcRefactor.c.

int Abc_ManRef_t_::nNodesRefactored

Definition at line 44 of file abcRefactor.c.

int Abc_ManRef_t_::timeBdd

Definition at line 50 of file abcRefactor.c.

int Abc_ManRef_t_::timeCut

Definition at line 49 of file abcRefactor.c.

int Abc_ManRef_t_::timeDcs

Definition at line 51 of file abcRefactor.c.

int Abc_ManRef_t_::timeEval

Definition at line 54 of file abcRefactor.c.

int Abc_ManRef_t_::timeFact

Definition at line 53 of file abcRefactor.c.

int Abc_ManRef_t_::timeNtk

Definition at line 56 of file abcRefactor.c.

int Abc_ManRef_t_::timeRes

Definition at line 55 of file abcRefactor.c.

int Abc_ManRef_t_::timeSop

Definition at line 52 of file abcRefactor.c.

int Abc_ManRef_t_::timeTotal

Definition at line 57 of file abcRefactor.c.

Vec_Str_t* Abc_ManRef_t_::vCube

Definition at line 37 of file abcRefactor.c.

Vec_Int_t* Abc_ManRef_t_::vForm

Definition at line 38 of file abcRefactor.c.

Vec_Ptr_t* Abc_ManRef_t_::vLeaves

Definition at line 40 of file abcRefactor.c.

Vec_Ptr_t* Abc_ManRef_t_::vVisited

Definition at line 39 of file abcRefactor.c.

---

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

• src/base/abci/abcRefactor.c