Abc_ManRec_t_ Struct Reference

Collaboration diagram for Abc_ManRec_t_:

[legend]

Data Fields
Abc_Ntk_t *	pNtk
Vec_Ptr_t *	vTtElems
Vec_Ptr_t *	vTtNodes
Abc_Obj_t **	pBins
int	nBins
int	nVars
int	nVarsInit
int	nWords
int	nCuts
int *	pBytes
int *	pMints
unsigned *	pTemp1
unsigned *	pTemp2
Vec_Ptr_t *	vNodes
Vec_Ptr_t *	vTtTemps
Vec_Ptr_t *	vLabels
Vec_Str_t *	vCosts
Vec_Int_t *	vMemory
int	nTried
int	nFilterSize
int	nFilterRedund
int	nFilterVolume
int	nFilterTruth
int	nFilterError
int	nFilterSame
int	nAdded
int	nAddedFuncs
int	nFunsFound
int	nFunsNotFound
int	timeCollect
int	timeTruth
int	timeCanon
int	timeOther
int	timeTotal

---

Detailed Description

Definition at line 30 of file abcRec.c.

---

Field Documentation

int Abc_ManRec_t_::nAdded

Definition at line 59 of file abcRec.c.

int Abc_ManRec_t_::nAddedFuncs

Definition at line 60 of file abcRec.c.

int Abc_ManRec_t_::nBins

Definition at line 36 of file abcRec.c.

int Abc_ManRec_t_::nCuts

Definition at line 40 of file abcRec.c.

int Abc_ManRec_t_::nFilterError

Definition at line 57 of file abcRec.c.

int Abc_ManRec_t_::nFilterRedund

Definition at line 54 of file abcRec.c.

int Abc_ManRec_t_::nFilterSame

Definition at line 58 of file abcRec.c.

int Abc_ManRec_t_::nFilterSize

Definition at line 53 of file abcRec.c.

int Abc_ManRec_t_::nFilterTruth

Definition at line 56 of file abcRec.c.

int Abc_ManRec_t_::nFilterVolume

Definition at line 55 of file abcRec.c.

int Abc_ManRec_t_::nFunsFound

Definition at line 62 of file abcRec.c.

int Abc_ManRec_t_::nFunsNotFound

Definition at line 63 of file abcRec.c.

int Abc_ManRec_t_::nTried

Definition at line 52 of file abcRec.c.

int Abc_ManRec_t_::nVars

Definition at line 37 of file abcRec.c.

int Abc_ManRec_t_::nVarsInit

Definition at line 38 of file abcRec.c.

int Abc_ManRec_t_::nWords

Definition at line 39 of file abcRec.c.

Abc_Obj_t** Abc_ManRec_t_::pBins

Definition at line 35 of file abcRec.c.

int* Abc_ManRec_t_::pBytes

Definition at line 42 of file abcRec.c.

int* Abc_ManRec_t_::pMints

Definition at line 43 of file abcRec.c.

Abc_Ntk_t* Abc_ManRec_t_::pNtk

Definition at line 32 of file abcRec.c.

unsigned* Abc_ManRec_t_::pTemp1

Definition at line 44 of file abcRec.c.

unsigned* Abc_ManRec_t_::pTemp2

Definition at line 45 of file abcRec.c.

int Abc_ManRec_t_::timeCanon

Definition at line 67 of file abcRec.c.

int Abc_ManRec_t_::timeCollect

Definition at line 65 of file abcRec.c.

int Abc_ManRec_t_::timeOther

Definition at line 68 of file abcRec.c.

int Abc_ManRec_t_::timeTotal

Definition at line 69 of file abcRec.c.

int Abc_ManRec_t_::timeTruth

Definition at line 66 of file abcRec.c.

Vec_Str_t* Abc_ManRec_t_::vCosts

Definition at line 49 of file abcRec.c.

Vec_Ptr_t* Abc_ManRec_t_::vLabels

Definition at line 48 of file abcRec.c.

Vec_Int_t* Abc_ManRec_t_::vMemory

Definition at line 50 of file abcRec.c.

Vec_Ptr_t* Abc_ManRec_t_::vNodes

Definition at line 46 of file abcRec.c.

Vec_Ptr_t* Abc_ManRec_t_::vTtElems

Definition at line 33 of file abcRec.c.

Vec_Ptr_t* Abc_ManRec_t_::vTtNodes

Definition at line 34 of file abcRec.c.

Vec_Ptr_t* Abc_ManRec_t_::vTtTemps

Definition at line 47 of file abcRec.c.

---

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

• src/base/abci/abcRec.c