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

Public Attributes

char * pSpec
 
Vec_Ptr_tvNtks
 
Abc_Nam_tpManName
 
Vec_Int_t vConsts
 
Vec_Int_t vSlices
 
Vec_Int_t vConcats
 
FILE * pFile
 
Vec_Int_tvTokens
 
int pMap [MAX_MAP]
 
Vec_Int_tvMap
 
Vec_Int_tvDirects
 
Vec_Int_tvInverses
 
Vec_Int_t vAttrTemp
 
Vec_Int_t vTemp [TEMP_NUM]
 

Detailed Description

Definition at line 39 of file wlnRead.c.

Member Data Documentation

◆ pFile

FILE* Rtl_Lib_t_::pFile

Definition at line 47 of file wlnRead.c.

◆ pManName

Abc_Nam_t* Rtl_Lib_t_::pManName

Definition at line 43 of file wlnRead.c.

◆ pMap

int Rtl_Lib_t_::pMap[MAX_MAP]

Definition at line 49 of file wlnRead.c.

◆ pSpec

char* Rtl_Lib_t_::pSpec

Definition at line 41 of file wlnRead.c.

◆ vAttrTemp

Vec_Int_t Rtl_Lib_t_::vAttrTemp

Definition at line 53 of file wlnRead.c.

◆ vConcats

Vec_Int_t Rtl_Lib_t_::vConcats

Definition at line 46 of file wlnRead.c.

◆ vConsts

Vec_Int_t Rtl_Lib_t_::vConsts

Definition at line 44 of file wlnRead.c.

◆ vDirects

Vec_Int_t* Rtl_Lib_t_::vDirects

Definition at line 51 of file wlnRead.c.

◆ vInverses

Vec_Int_t* Rtl_Lib_t_::vInverses

Definition at line 52 of file wlnRead.c.

◆ vMap

Vec_Int_t* Rtl_Lib_t_::vMap

Definition at line 50 of file wlnRead.c.

◆ vNtks

Vec_Ptr_t* Rtl_Lib_t_::vNtks

Definition at line 42 of file wlnRead.c.

◆ vSlices

Vec_Int_t Rtl_Lib_t_::vSlices

Definition at line 45 of file wlnRead.c.

◆ vTemp

Vec_Int_t Rtl_Lib_t_::vTemp[TEMP_NUM]

Definition at line 54 of file wlnRead.c.

◆ vTokens

Vec_Int_t* Rtl_Lib_t_::vTokens

Definition at line 48 of file wlnRead.c.


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