Dar_Lib_t_ Struct Reference

Collaboration diagram for Dar_Lib_t_:

[legend]

Data Fields
Dar_LibObj_t *	pObjs
int	nObjs
int	iObj
int	nSubgr [222]
int *	pSubgr [222]
int *	pSubgrMem
int	nSubgrTotal
int *	pPriosMem
int *	pPrios [222]
int *	pPlaceMem
int *	pPlace [222]
int *	pScoreMem
int *	pScore [222]
int	nNodes [222]
int *	pNodes [222]
int *	pNodesMem
int	nNodesTotal
int	nSubgraphs
int	nNodes0Max
int	nNodes0 [222]
int *	pNodes0 [222]
int *	pNodes0Mem
int	nNodes0Total
int	nSubgr0 [222]
int *	pSubgr0 [222]
int *	pSubgr0Mem
int	nSubgr0Total
Dar_LibDat_t *	pDatas
int	nDatas
char **	pPerms4
unsigned short *	puCanons
char *	pPhases
char *	pPerms
unsigned char *	pMap

---

Detailed Description

Definition at line 51 of file darLib.c.

---

Field Documentation

int Dar_Lib_t_::iObj

Definition at line 56 of file darLib.c.

int Dar_Lib_t_::nDatas

Definition at line 91 of file darLib.c.

int Dar_Lib_t_::nNodes[222]

Definition at line 72 of file darLib.c.

int Dar_Lib_t_::nNodes0[222]

Definition at line 80 of file darLib.c.

int Dar_Lib_t_::nNodes0Max

Definition at line 78 of file darLib.c.

int Dar_Lib_t_::nNodes0Total

Definition at line 83 of file darLib.c.

int Dar_Lib_t_::nNodesTotal

Definition at line 75 of file darLib.c.

int Dar_Lib_t_::nObjs

Definition at line 55 of file darLib.c.

int Dar_Lib_t_::nSubgr[222]

Definition at line 58 of file darLib.c.

int Dar_Lib_t_::nSubgr0[222]

Definition at line 85 of file darLib.c.

int Dar_Lib_t_::nSubgr0Total

Definition at line 88 of file darLib.c.

int Dar_Lib_t_::nSubgraphs

Definition at line 77 of file darLib.c.

int Dar_Lib_t_::nSubgrTotal

Definition at line 61 of file darLib.c.

Dar_LibDat_t* Dar_Lib_t_::pDatas

Definition at line 90 of file darLib.c.

unsigned char* Dar_Lib_t_::pMap

Definition at line 97 of file darLib.c.

int* Dar_Lib_t_::pNodes[222]

Definition at line 73 of file darLib.c.

int* Dar_Lib_t_::pNodes0[222]

Definition at line 81 of file darLib.c.

int* Dar_Lib_t_::pNodes0Mem

Definition at line 82 of file darLib.c.

int* Dar_Lib_t_::pNodesMem

Definition at line 74 of file darLib.c.

Dar_LibObj_t* Dar_Lib_t_::pObjs

Definition at line 54 of file darLib.c.

char* Dar_Lib_t_::pPerms

Definition at line 96 of file darLib.c.

char** Dar_Lib_t_::pPerms4

Definition at line 93 of file darLib.c.

char* Dar_Lib_t_::pPhases

Definition at line 95 of file darLib.c.

int* Dar_Lib_t_::pPlace[222]

Definition at line 67 of file darLib.c.

int* Dar_Lib_t_::pPlaceMem

Definition at line 66 of file darLib.c.

int* Dar_Lib_t_::pPrios[222]

Definition at line 64 of file darLib.c.

int* Dar_Lib_t_::pPriosMem

Definition at line 63 of file darLib.c.

int* Dar_Lib_t_::pScore[222]

Definition at line 70 of file darLib.c.

int* Dar_Lib_t_::pScoreMem

Definition at line 69 of file darLib.c.

int* Dar_Lib_t_::pSubgr[222]

Definition at line 59 of file darLib.c.

int* Dar_Lib_t_::pSubgr0[222]

Definition at line 86 of file darLib.c.

int* Dar_Lib_t_::pSubgr0Mem

Definition at line 87 of file darLib.c.

int* Dar_Lib_t_::pSubgrMem

Definition at line 60 of file darLib.c.

unsigned short* Dar_Lib_t_::puCanons

Definition at line 94 of file darLib.c.

---

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

• src/aig/dar/darLib.c