Collaboration diagram for Gia_ManUnr_t_:

[legend]

Public Attributes
Gia_ParFra_t *	pPars

Gia_Man_t *	pAig

Gia_Man_t *	pOrder

Vec_Int_t *	vLimit

Vec_Int_t *	vRank

Vec_Int_t *	vDegree

Vec_Int_t *	vDegDiff

Vec_Int_t *	vFirst

Vec_Int_t *	vStore

Gia_Man_t *	pNew

int	LastLit

Detailed Description

Definition at line 42 of file giaFrames.c.

Member Data Documentation

◆ LastLit

int Gia_ManUnr_t_::LastLit

Definition at line 57 of file giaFrames.c.

◆ pAig

Gia_Man_t* Gia_ManUnr_t_::pAig

Definition at line 45 of file giaFrames.c.

◆ pNew

Gia_Man_t* Gia_ManUnr_t_::pNew

Definition at line 56 of file giaFrames.c.

◆ pOrder

Gia_Man_t* Gia_ManUnr_t_::pOrder

Definition at line 47 of file giaFrames.c.

◆ pPars

Gia_ParFra_t* Gia_ManUnr_t_::pPars

Definition at line 44 of file giaFrames.c.

◆ vDegDiff

Vec_Int_t* Gia_ManUnr_t_::vDegDiff

Definition at line 52 of file giaFrames.c.

◆ vDegree

Vec_Int_t* Gia_ManUnr_t_::vDegree

Definition at line 51 of file giaFrames.c.

◆ vFirst

Vec_Int_t* Gia_ManUnr_t_::vFirst

Definition at line 53 of file giaFrames.c.

◆ vLimit

Vec_Int_t* Gia_ManUnr_t_::vLimit

Definition at line 48 of file giaFrames.c.

◆ vRank

Vec_Int_t* Gia_ManUnr_t_::vRank

Definition at line 50 of file giaFrames.c.

◆ vStore

Vec_Int_t* Gia_ManUnr_t_::vStore

Definition at line 54 of file giaFrames.c.

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

src/aig/gia/giaFrames.c

Public Attributes