Collaboration diagram for Dam_Man_t_:

[legend]

Public Attributes
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.

Member Data Documentation

◆ clkStart

abctime Dam_Man_t_::clkStart

Definition at line 48 of file giaBalAig.c.

◆ nAnds

int Dam_Man_t_::nAnds

Definition at line 51 of file giaBalAig.c.

◆ nDivs

int Dam_Man_t_::nDivs

Definition at line 50 of file giaBalAig.c.

◆ nGain

int Dam_Man_t_::nGain

Definition at line 52 of file giaBalAig.c.

◆ nGainX

int Dam_Man_t_::nGainX

Definition at line 53 of file giaBalAig.c.

◆ nLevelMax

int Dam_Man_t_::nLevelMax

Definition at line 49 of file giaBalAig.c.

◆ pGia

Gia_Man_t* Dam_Man_t_::pGia

Definition at line 37 of file giaBalAig.c.

◆ vCounts

Vec_Flt_t* Dam_Man_t_::vCounts

Definition at line 42 of file giaBalAig.c.

◆ vDiv2Nod

Vec_Int_t* Dam_Man_t_::vDiv2Nod

Definition at line 39 of file giaBalAig.c.

◆ vDivLevR

Vec_Int_t* Dam_Man_t_::vDivLevR

Definition at line 44 of file giaBalAig.c.

◆ vHash

Hash_IntMan_t* Dam_Man_t_::vHash

Definition at line 47 of file giaBalAig.c.

◆ vNod2Set

Vec_Int_t* Dam_Man_t_::vNod2Set

Definition at line 38 of file giaBalAig.c.

◆ vNodLevR

Vec_Int_t* Dam_Man_t_::vNodLevR

Definition at line 43 of file giaBalAig.c.

◆ vNodStore

Vec_Int_t* Dam_Man_t_::vNodStore

Definition at line 41 of file giaBalAig.c.

◆ vQue

Vec_Que_t* Dam_Man_t_::vQue

Definition at line 46 of file giaBalAig.c.

◆ vSetStore

Vec_Int_t* Dam_Man_t_::vSetStore

Definition at line 40 of file giaBalAig.c.

◆ vVisit

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:

src/aig/gia/giaBalAig.c

Public Attributes