Dam_Man_t_ Struct Reference

Data Fields
Gia_Man_t *	pGia
Vec_Int_t *	vNod2Set
Vec_Int_t *	vDiv2Nod
Vec_Int_t *	vSetStore
Vec_Int_t *	vNodStore
Vec_Flt_t *	vCounts
Vec_Int_t *	vNodLevR
Vec_Int_t *	vDivLevR
Vec_Int_t *	vVisit
Vec_Que_t *	vQue
Hash_IntMan_t *	vHash
abctime	clkStart
int	nLevelMax
int	nDivs
int	nAnds
int	nGain
int	nGainX

Detailed Description

Definition at line 35 of file giaBalAig.c.

Field Documentation

abctime Dam_Man_t_::clkStart

Definition at line 48 of file giaBalAig.c.

int Dam_Man_t_::nAnds

Definition at line 51 of file giaBalAig.c.

int Dam_Man_t_::nDivs

Definition at line 50 of file giaBalAig.c.

int Dam_Man_t_::nGain

Definition at line 52 of file giaBalAig.c.

int Dam_Man_t_::nGainX

Definition at line 53 of file giaBalAig.c.

int Dam_Man_t_::nLevelMax

Definition at line 49 of file giaBalAig.c.

Gia_Man_t* Dam_Man_t_::pGia

Definition at line 37 of file giaBalAig.c.

Vec_Flt_t* Dam_Man_t_::vCounts

Definition at line 42 of file giaBalAig.c.

Vec_Int_t* Dam_Man_t_::vDiv2Nod

Definition at line 39 of file giaBalAig.c.

Vec_Int_t* Dam_Man_t_::vDivLevR

Definition at line 44 of file giaBalAig.c.

Hash_IntMan_t* Dam_Man_t_::vHash

Definition at line 47 of file giaBalAig.c.

Vec_Int_t* Dam_Man_t_::vNod2Set

Definition at line 38 of file giaBalAig.c.

Vec_Int_t* Dam_Man_t_::vNodLevR

Definition at line 43 of file giaBalAig.c.

Vec_Int_t* Dam_Man_t_::vNodStore

Definition at line 41 of file giaBalAig.c.

Vec_Que_t* Dam_Man_t_::vQue

Definition at line 46 of file giaBalAig.c.

Vec_Int_t* Dam_Man_t_::vSetStore

Definition at line 40 of file giaBalAig.c.

Vec_Int_t* Dam_Man_t_::vVisit

Definition at line 45 of file giaBalAig.c.

---

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

• giaBalAig.c