Collaboration diagram for Cof_Man_t_:

[legend]

Public Attributes
Gia_Man_t *	pGia

Vec_Int_t *	vCis

Vec_Int_t *	vCos

int	nObjs

int	nNodes

int	nTravIds

int *	pObjData

int	nObjData

int *	pLevels

int	nLevels

Detailed Description

Definition at line 56 of file giaCof.c.

Member Data Documentation

◆ nLevels

int Cof_Man_t_::nLevels

Definition at line 67 of file giaCof.c.

◆ nNodes

int Cof_Man_t_::nNodes

Definition at line 62 of file giaCof.c.

◆ nObjData

int Cof_Man_t_::nObjData

Definition at line 65 of file giaCof.c.

◆ nObjs

int Cof_Man_t_::nObjs

Definition at line 61 of file giaCof.c.

◆ nTravIds

int Cof_Man_t_::nTravIds

Definition at line 63 of file giaCof.c.

◆ pGia

Gia_Man_t* Cof_Man_t_::pGia

Definition at line 58 of file giaCof.c.

◆ pLevels

int* Cof_Man_t_::pLevels

Definition at line 66 of file giaCof.c.

◆ pObjData

int* Cof_Man_t_::pObjData

Definition at line 64 of file giaCof.c.

◆ vCis

Vec_Int_t* Cof_Man_t_::vCis

Definition at line 59 of file giaCof.c.

◆ vCos

Vec_Int_t* Cof_Man_t_::vCos

Definition at line 60 of file giaCof.c.

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

src/aig/gia/giaCof.c

Public Attributes