ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Bbl_Man_t_ Struct Reference
Collaboration diagram for Bbl_Man_t_:

Public Attributes

Vec_Str_tpName
 
Vec_Str_tpObjs
 
Vec_Str_tpFncs
 
Vec_Int_tvId2Obj
 
Vec_Int_tvObj2Id
 
Vec_Int_tvFaninNums
 
int nFileSize
 
char * pFileData
 
Vec_Str_tpEnts
 
int SopMap [17][17]
 

Detailed Description

Definition at line 84 of file bblif.c.

Member Data Documentation

◆ nFileSize

int Bbl_Man_t_::nFileSize

Definition at line 95 of file bblif.c.

◆ pEnts

Vec_Str_t* Bbl_Man_t_::pEnts

Definition at line 98 of file bblif.c.

◆ pFileData

char* Bbl_Man_t_::pFileData

Definition at line 96 of file bblif.c.

◆ pFncs

Vec_Str_t* Bbl_Man_t_::pFncs

Definition at line 89 of file bblif.c.

◆ pName

Vec_Str_t* Bbl_Man_t_::pName

Definition at line 87 of file bblif.c.

◆ pObjs

Vec_Str_t* Bbl_Man_t_::pObjs

Definition at line 88 of file bblif.c.

◆ SopMap

int Bbl_Man_t_::SopMap[17][17]

Definition at line 99 of file bblif.c.

◆ vFaninNums

Vec_Int_t* Bbl_Man_t_::vFaninNums

Definition at line 93 of file bblif.c.

◆ vId2Obj

Vec_Int_t* Bbl_Man_t_::vId2Obj

Definition at line 91 of file bblif.c.

◆ vObj2Id

Vec_Int_t* Bbl_Man_t_::vObj2Id

Definition at line 92 of file bblif.c.


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