Abc_ManRst_t_ Struct Reference

Collaboration diagram for Abc_ManRst_t_:

[legend]

Data Fields
Abc_Ntk_t *	pNtk
int	nCutMax
int	fUpdateLevel
int	fUseZeros
int	fVerbose
DdManager *	dd
Dsd_Manager_t *	pManDsd
Vec_Ptr_t *	vVisited
Vec_Ptr_t *	vLeaves
Vec_Ptr_t *	vDecs
Vec_Ptr_t *	vTemp
Vec_Int_t *	vSims
Vec_Int_t *	vRands
Vec_Int_t *	vOnes
Vec_Int_t *	vBinate
Vec_Int_t *	vTwos
int	nLastGain
int	nCutsConsidered
int	nCutsExplored
int	nNodesConsidered
int	nNodesRestructured
int	nNodesGained
int	timeCut
int	timeBdd
int	timeDsd
int	timeEval
int	timeRes
int	timeNtk
int	timeTotal

---

Detailed Description

Definition at line 33 of file abcRestruct.c.

---

Field Documentation

DdManager* Abc_ManRst_t_::dd

Definition at line 43 of file abcRestruct.c.

int Abc_ManRst_t_::fUpdateLevel

Definition at line 39 of file abcRestruct.c.

int Abc_ManRst_t_::fUseZeros

Definition at line 40 of file abcRestruct.c.

int Abc_ManRst_t_::fVerbose

Definition at line 41 of file abcRestruct.c.

int Abc_ManRst_t_::nCutMax

Definition at line 38 of file abcRestruct.c.

int Abc_ManRst_t_::nCutsConsidered

Definition at line 56 of file abcRestruct.c.

int Abc_ManRst_t_::nCutsExplored

Definition at line 57 of file abcRestruct.c.

int Abc_ManRst_t_::nLastGain

Definition at line 55 of file abcRestruct.c.

int Abc_ManRst_t_::nNodesConsidered

Definition at line 58 of file abcRestruct.c.

int Abc_ManRst_t_::nNodesGained

Definition at line 60 of file abcRestruct.c.

int Abc_ManRst_t_::nNodesRestructured

Definition at line 59 of file abcRestruct.c.

Dsd_Manager_t* Abc_ManRst_t_::pManDsd

Definition at line 44 of file abcRestruct.c.

Abc_Ntk_t* Abc_ManRst_t_::pNtk

Definition at line 36 of file abcRestruct.c.

int Abc_ManRst_t_::timeBdd

Definition at line 63 of file abcRestruct.c.

int Abc_ManRst_t_::timeCut

Definition at line 62 of file abcRestruct.c.

int Abc_ManRst_t_::timeDsd

Definition at line 64 of file abcRestruct.c.

int Abc_ManRst_t_::timeEval

Definition at line 65 of file abcRestruct.c.

int Abc_ManRst_t_::timeNtk

Definition at line 67 of file abcRestruct.c.

int Abc_ManRst_t_::timeRes

Definition at line 66 of file abcRestruct.c.

int Abc_ManRst_t_::timeTotal

Definition at line 68 of file abcRestruct.c.

Vec_Int_t* Abc_ManRst_t_::vBinate

Definition at line 52 of file abcRestruct.c.

Vec_Ptr_t* Abc_ManRst_t_::vDecs

Definition at line 47 of file abcRestruct.c.

Vec_Ptr_t* Abc_ManRst_t_::vLeaves

Definition at line 46 of file abcRestruct.c.

Vec_Int_t* Abc_ManRst_t_::vOnes

Definition at line 51 of file abcRestruct.c.

Vec_Int_t* Abc_ManRst_t_::vRands

Definition at line 50 of file abcRestruct.c.

Vec_Int_t* Abc_ManRst_t_::vSims

Definition at line 49 of file abcRestruct.c.

Vec_Ptr_t* Abc_ManRst_t_::vTemp

Definition at line 48 of file abcRestruct.c.

Vec_Int_t* Abc_ManRst_t_::vTwos

Definition at line 53 of file abcRestruct.c.

Vec_Ptr_t* Abc_ManRst_t_::vVisited

Definition at line 45 of file abcRestruct.c.

---

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

• src/base/abci/abcRestruct.c