Collaboration diagram for Agi_Man_t_:

Public Attributes
char *	pName

char *	pSpec

int	nCap

int	nObjs

int	nNodes

int	nRegs

unsigned	nTravIds

Vec_Int_t	vCis

Vec_Int_t	vCos

word *	pObjs

unsigned *	pThird

unsigned *	pTravIds

unsigned *	pNext

unsigned *	pTable

unsigned *	pCopy

Detailed Description

Definition at line 39 of file giaAgi.c.

Member Data Documentation

◆ nCap

int Agi_Man_t_::nCap

Definition at line 43 of file giaAgi.c.

◆ nNodes

int Agi_Man_t_::nNodes

Definition at line 45 of file giaAgi.c.

◆ nObjs

int Agi_Man_t_::nObjs

Definition at line 44 of file giaAgi.c.

◆ nRegs

int Agi_Man_t_::nRegs

Definition at line 46 of file giaAgi.c.

◆ nTravIds

unsigned Agi_Man_t_::nTravIds

Definition at line 47 of file giaAgi.c.

◆ pCopy

unsigned* Agi_Man_t_::pCopy

Definition at line 55 of file giaAgi.c.

◆ pName

char* Agi_Man_t_::pName

Definition at line 41 of file giaAgi.c.

◆ pNext

unsigned* Agi_Man_t_::pNext

Definition at line 53 of file giaAgi.c.

◆ pObjs

word* Agi_Man_t_::pObjs

Definition at line 50 of file giaAgi.c.

◆ pSpec

char* Agi_Man_t_::pSpec

Definition at line 42 of file giaAgi.c.

◆ pTable

unsigned* Agi_Man_t_::pTable

Definition at line 54 of file giaAgi.c.

◆ pThird

unsigned* Agi_Man_t_::pThird

Definition at line 51 of file giaAgi.c.

◆ pTravIds

unsigned* Agi_Man_t_::pTravIds

Definition at line 52 of file giaAgi.c.

◆ vCis

Vec_Int_t Agi_Man_t_::vCis

Definition at line 48 of file giaAgi.c.

◆ vCos

Vec_Int_t Agi_Man_t_::vCos

Definition at line 49 of file giaAgi.c.

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

src/aig/gia/giaAgi.c

Public Attributes