ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Dar_Lib_t_ Struct Reference
Collaboration diagram for Dar_Lib_t_:
Collaboration graph
[legend]

Public Attributes

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 59 of file darLib.c.

Member Data Documentation

◆ iObj

int Dar_Lib_t_::iObj

Definition at line 64 of file darLib.c.

◆ nDatas

int Dar_Lib_t_::nDatas

Definition at line 99 of file darLib.c.

◆ nNodes

int Dar_Lib_t_::nNodes[222]

Definition at line 80 of file darLib.c.

◆ nNodes0

int Dar_Lib_t_::nNodes0[222]

Definition at line 88 of file darLib.c.

◆ nNodes0Max

int Dar_Lib_t_::nNodes0Max

Definition at line 86 of file darLib.c.

◆ nNodes0Total

int Dar_Lib_t_::nNodes0Total

Definition at line 91 of file darLib.c.

◆ nNodesTotal

int Dar_Lib_t_::nNodesTotal

Definition at line 83 of file darLib.c.

◆ nObjs

int Dar_Lib_t_::nObjs

Definition at line 63 of file darLib.c.

◆ nSubgr

int Dar_Lib_t_::nSubgr[222]

Definition at line 66 of file darLib.c.

◆ nSubgr0

int Dar_Lib_t_::nSubgr0[222]

Definition at line 93 of file darLib.c.

◆ nSubgr0Total

int Dar_Lib_t_::nSubgr0Total

Definition at line 96 of file darLib.c.

◆ nSubgraphs

int Dar_Lib_t_::nSubgraphs

Definition at line 85 of file darLib.c.

◆ nSubgrTotal

int Dar_Lib_t_::nSubgrTotal

Definition at line 69 of file darLib.c.

◆ pDatas

Dar_LibDat_t* Dar_Lib_t_::pDatas

Definition at line 98 of file darLib.c.

◆ pMap

unsigned char* Dar_Lib_t_::pMap

Definition at line 105 of file darLib.c.

◆ pNodes

int* Dar_Lib_t_::pNodes[222]

Definition at line 81 of file darLib.c.

◆ pNodes0

int* Dar_Lib_t_::pNodes0[222]

Definition at line 89 of file darLib.c.

◆ pNodes0Mem

int* Dar_Lib_t_::pNodes0Mem

Definition at line 90 of file darLib.c.

◆ pNodesMem

int* Dar_Lib_t_::pNodesMem

Definition at line 82 of file darLib.c.

◆ pObjs

Dar_LibObj_t* Dar_Lib_t_::pObjs

Definition at line 62 of file darLib.c.

◆ pPerms

char* Dar_Lib_t_::pPerms

Definition at line 104 of file darLib.c.

◆ pPerms4

char** Dar_Lib_t_::pPerms4

Definition at line 101 of file darLib.c.

◆ pPhases

char* Dar_Lib_t_::pPhases

Definition at line 103 of file darLib.c.

◆ pPlace

int* Dar_Lib_t_::pPlace[222]

Definition at line 75 of file darLib.c.

◆ pPlaceMem

int* Dar_Lib_t_::pPlaceMem

Definition at line 74 of file darLib.c.

◆ pPrios

int* Dar_Lib_t_::pPrios[222]

Definition at line 72 of file darLib.c.

◆ pPriosMem

int* Dar_Lib_t_::pPriosMem

Definition at line 71 of file darLib.c.

◆ pScore

int* Dar_Lib_t_::pScore[222]

Definition at line 78 of file darLib.c.

◆ pScoreMem

int* Dar_Lib_t_::pScoreMem

Definition at line 77 of file darLib.c.

◆ pSubgr

int* Dar_Lib_t_::pSubgr[222]

Definition at line 67 of file darLib.c.

◆ pSubgr0

int* Dar_Lib_t_::pSubgr0[222]

Definition at line 94 of file darLib.c.

◆ pSubgr0Mem

int* Dar_Lib_t_::pSubgr0Mem

Definition at line 95 of file darLib.c.

◆ pSubgrMem

int* Dar_Lib_t_::pSubgrMem

Definition at line 68 of file darLib.c.

◆ puCanons

unsigned short* Dar_Lib_t_::puCanons

Definition at line 102 of file darLib.c.

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