Abc_ManRes_t_ Struct Reference

Collaboration diagram for Abc_ManRes_t_:

[legend]

Data Fields
int	nLeavesMax
int	nDivsMax
Abc_Obj_t *	pRoot
int	nLeaves
int	nDivs
int	nMffc
int	nLastGain
Vec_Ptr_t *	vDivs
int	nBits
int	nWords
Vec_Ptr_t *	vSims
unsigned *	pInfo
unsigned *	pCareSet
Vec_Ptr_t *	vDivs1UP
Vec_Ptr_t *	vDivs1UN
Vec_Ptr_t *	vDivs1B
Vec_Ptr_t *	vDivs2UP0
Vec_Ptr_t *	vDivs2UP1
Vec_Ptr_t *	vDivs2UN0
Vec_Ptr_t *	vDivs2UN1
Vec_Ptr_t *	vTemp
int	timeCut
int	timeTruth
int	timeRes
int	timeDiv
int	timeMffc
int	timeSim
int	timeRes1
int	timeResD
int	timeRes2
int	timeRes3
int	timeNtk
int	timeTotal
int	nUsedNodeC
int	nUsedNode0
int	nUsedNode1Or
int	nUsedNode1And
int	nUsedNode2Or
int	nUsedNode2And
int	nUsedNode2OrAnd
int	nUsedNode2AndOr
int	nUsedNode3OrAnd
int	nUsedNode3AndOr
int	nUsedNodeTotal
int	nTotalDivs
int	nTotalLeaves
int	nTotalGain
int	nNodesBeg
int	nNodesEnd

---

Detailed Description

Definition at line 32 of file abcResub.c.

---

Field Documentation

int Abc_ManRes_t_::nBits

Definition at line 45 of file abcResub.c.

int Abc_ManRes_t_::nDivs

Definition at line 40 of file abcResub.c.

int Abc_ManRes_t_::nDivsMax

Definition at line 36 of file abcResub.c.

int Abc_ManRes_t_::nLastGain

Definition at line 42 of file abcResub.c.

int Abc_ManRes_t_::nLeaves

Definition at line 39 of file abcResub.c.

int Abc_ManRes_t_::nLeavesMax

Definition at line 35 of file abcResub.c.

int Abc_ManRes_t_::nMffc

Definition at line 41 of file abcResub.c.

int Abc_ManRes_t_::nNodesBeg

Definition at line 89 of file abcResub.c.

int Abc_ManRes_t_::nNodesEnd

Definition at line 90 of file abcResub.c.

int Abc_ManRes_t_::nTotalDivs

Definition at line 86 of file abcResub.c.

int Abc_ManRes_t_::nTotalGain

Definition at line 88 of file abcResub.c.

int Abc_ManRes_t_::nTotalLeaves

Definition at line 87 of file abcResub.c.

int Abc_ManRes_t_::nUsedNode0

Definition at line 76 of file abcResub.c.

int Abc_ManRes_t_::nUsedNode1And

Definition at line 78 of file abcResub.c.

int Abc_ManRes_t_::nUsedNode1Or

Definition at line 77 of file abcResub.c.

int Abc_ManRes_t_::nUsedNode2And

Definition at line 80 of file abcResub.c.

int Abc_ManRes_t_::nUsedNode2AndOr

Definition at line 82 of file abcResub.c.

int Abc_ManRes_t_::nUsedNode2Or

Definition at line 79 of file abcResub.c.

int Abc_ManRes_t_::nUsedNode2OrAnd

Definition at line 81 of file abcResub.c.

int Abc_ManRes_t_::nUsedNode3AndOr

Definition at line 84 of file abcResub.c.

int Abc_ManRes_t_::nUsedNode3OrAnd

Definition at line 83 of file abcResub.c.

int Abc_ManRes_t_::nUsedNodeC

Definition at line 75 of file abcResub.c.

int Abc_ManRes_t_::nUsedNodeTotal

Definition at line 85 of file abcResub.c.

int Abc_ManRes_t_::nWords

Definition at line 46 of file abcResub.c.

unsigned* Abc_ManRes_t_::pCareSet

Definition at line 50 of file abcResub.c.

unsigned* Abc_ManRes_t_::pInfo

Definition at line 48 of file abcResub.c.

Abc_Obj_t* Abc_ManRes_t_::pRoot

Definition at line 38 of file abcResub.c.

int Abc_ManRes_t_::timeCut

Definition at line 62 of file abcResub.c.

int Abc_ManRes_t_::timeDiv

Definition at line 65 of file abcResub.c.

int Abc_ManRes_t_::timeMffc

Definition at line 66 of file abcResub.c.

int Abc_ManRes_t_::timeNtk

Definition at line 72 of file abcResub.c.

int Abc_ManRes_t_::timeRes

Definition at line 64 of file abcResub.c.

int Abc_ManRes_t_::timeRes1

Definition at line 68 of file abcResub.c.

int Abc_ManRes_t_::timeRes2

Definition at line 70 of file abcResub.c.

int Abc_ManRes_t_::timeRes3

Definition at line 71 of file abcResub.c.

int Abc_ManRes_t_::timeResD

Definition at line 69 of file abcResub.c.

int Abc_ManRes_t_::timeSim

Definition at line 67 of file abcResub.c.

int Abc_ManRes_t_::timeTotal

Definition at line 73 of file abcResub.c.

int Abc_ManRes_t_::timeTruth

Definition at line 63 of file abcResub.c.

Vec_Ptr_t* Abc_ManRes_t_::vDivs

Definition at line 43 of file abcResub.c.

Vec_Ptr_t* Abc_ManRes_t_::vDivs1B

Definition at line 54 of file abcResub.c.

Vec_Ptr_t* Abc_ManRes_t_::vDivs1UN

Definition at line 53 of file abcResub.c.

Vec_Ptr_t* Abc_ManRes_t_::vDivs1UP

Definition at line 52 of file abcResub.c.

Vec_Ptr_t* Abc_ManRes_t_::vDivs2UN0

Definition at line 57 of file abcResub.c.

Vec_Ptr_t* Abc_ManRes_t_::vDivs2UN1

Definition at line 58 of file abcResub.c.

Vec_Ptr_t* Abc_ManRes_t_::vDivs2UP0

Definition at line 55 of file abcResub.c.

Vec_Ptr_t* Abc_ManRes_t_::vDivs2UP1

Definition at line 56 of file abcResub.c.

Vec_Ptr_t* Abc_ManRes_t_::vSims

Definition at line 47 of file abcResub.c.

Vec_Ptr_t* Abc_ManRes_t_::vTemp

Definition at line 60 of file abcResub.c.

---

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

• src/base/abci/abcResub.c