Abc_ManRst_t_ Struct Reference

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 37 of file abcRestruct.c.

Field Documentation

DdManager* Abc_ManRst_t_::dd

Definition at line 47 of file abcRestruct.c.

int Abc_ManRst_t_::fUpdateLevel

Definition at line 43 of file abcRestruct.c.

int Abc_ManRst_t_::fUseZeros

Definition at line 44 of file abcRestruct.c.

int Abc_ManRst_t_::fVerbose

Definition at line 45 of file abcRestruct.c.

int Abc_ManRst_t_::nCutMax

Definition at line 42 of file abcRestruct.c.

int Abc_ManRst_t_::nCutsConsidered

Definition at line 60 of file abcRestruct.c.

int Abc_ManRst_t_::nCutsExplored

Definition at line 61 of file abcRestruct.c.

int Abc_ManRst_t_::nLastGain

Definition at line 59 of file abcRestruct.c.

int Abc_ManRst_t_::nNodesConsidered

Definition at line 62 of file abcRestruct.c.

int Abc_ManRst_t_::nNodesGained

Definition at line 64 of file abcRestruct.c.

int Abc_ManRst_t_::nNodesRestructured

Definition at line 63 of file abcRestruct.c.

Dsd_Manager_t* Abc_ManRst_t_::pManDsd

Definition at line 48 of file abcRestruct.c.

Abc_Ntk_t* Abc_ManRst_t_::pNtk

Definition at line 40 of file abcRestruct.c.

int Abc_ManRst_t_::timeBdd

Definition at line 67 of file abcRestruct.c.

int Abc_ManRst_t_::timeCut

Definition at line 66 of file abcRestruct.c.

int Abc_ManRst_t_::timeDsd

Definition at line 68 of file abcRestruct.c.

int Abc_ManRst_t_::timeEval

Definition at line 69 of file abcRestruct.c.

int Abc_ManRst_t_::timeNtk

Definition at line 71 of file abcRestruct.c.

int Abc_ManRst_t_::timeRes

Definition at line 70 of file abcRestruct.c.

int Abc_ManRst_t_::timeTotal

Definition at line 72 of file abcRestruct.c.

Vec_Int_t* Abc_ManRst_t_::vBinate

Definition at line 56 of file abcRestruct.c.

Vec_Ptr_t* Abc_ManRst_t_::vDecs

Definition at line 51 of file abcRestruct.c.

Vec_Ptr_t* Abc_ManRst_t_::vLeaves

Definition at line 50 of file abcRestruct.c.

Vec_Int_t* Abc_ManRst_t_::vOnes

Definition at line 55 of file abcRestruct.c.

Vec_Int_t* Abc_ManRst_t_::vRands

Definition at line 54 of file abcRestruct.c.

Vec_Int_t* Abc_ManRst_t_::vSims

Definition at line 53 of file abcRestruct.c.

Vec_Ptr_t* Abc_ManRst_t_::vTemp

Definition at line 52 of file abcRestruct.c.

Vec_Int_t* Abc_ManRst_t_::vTwos

Definition at line 57 of file abcRestruct.c.

Vec_Ptr_t* Abc_ManRst_t_::vVisited

Definition at line 49 of file abcRestruct.c.

---

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

• abcRestruct.c