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

Public Attributes

int nFileSize
 
char * pFileName
 
char * pBuffer
 
Vec_Int_t * vLines
 
Vec_Int_t * vStarts
 
Vec_Int_t * vFanins
 
Wlc_Ntk_t * pNtk
 
Mem_Flex_t * pMemTable
 
Vec_Ptr_t * vTables
 
Vec_Str_t * vPoPairs
 
int nConsts
 
int nNonZero [4]
 
int nNegative [4]
 
int nReverse [4]
 
char sError [WLV_PRS_MAX_LINE]
 

Detailed Description

Definition at line 34 of file wlcReadVer.c.

Member Data Documentation

◆ nConsts

int Wlc_Prs_t_::nConsts

Definition at line 46 of file wlcReadVer.c.

◆ nFileSize

int Wlc_Prs_t_::nFileSize

Definition at line 36 of file wlcReadVer.c.

◆ nNegative

int Wlc_Prs_t_::nNegative[4]

Definition at line 48 of file wlcReadVer.c.

◆ nNonZero

int Wlc_Prs_t_::nNonZero[4]

Definition at line 47 of file wlcReadVer.c.

◆ nReverse

int Wlc_Prs_t_::nReverse[4]

Definition at line 49 of file wlcReadVer.c.

◆ pBuffer

char* Wlc_Prs_t_::pBuffer

Definition at line 38 of file wlcReadVer.c.

◆ pFileName

char* Wlc_Prs_t_::pFileName

Definition at line 37 of file wlcReadVer.c.

◆ pMemTable

Mem_Flex_t* Wlc_Prs_t_::pMemTable

Definition at line 43 of file wlcReadVer.c.

◆ pNtk

Wlc_Ntk_t* Wlc_Prs_t_::pNtk

Definition at line 42 of file wlcReadVer.c.

◆ sError

char Wlc_Prs_t_::sError[WLV_PRS_MAX_LINE]

Definition at line 50 of file wlcReadVer.c.

◆ vFanins

Vec_Int_t* Wlc_Prs_t_::vFanins

Definition at line 41 of file wlcReadVer.c.

◆ vLines

Vec_Int_t* Wlc_Prs_t_::vLines

Definition at line 39 of file wlcReadVer.c.

◆ vPoPairs

Vec_Str_t* Wlc_Prs_t_::vPoPairs

Definition at line 45 of file wlcReadVer.c.

◆ vStarts

Vec_Int_t* Wlc_Prs_t_::vStarts

Definition at line 40 of file wlcReadVer.c.

◆ vTables

Vec_Ptr_t* Wlc_Prs_t_::vTables

Definition at line 44 of file wlcReadVer.c.

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