ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Attributes | List of all members
Extra_FileReader_t_ Struct Reference

Public Attributes

char * pFileName
 
FILE * pFile
 
int nFileSize
 
int nFileRead
 
char pCharMap [256]
 
char * pBuffer
 
int nBufferSize
 
char * pBufferCur
 
char * pBufferEnd
 
char * pBufferStop
 
Vec_Ptr_t * vTokens
 
Vec_Int_t * vLines
 
int nLineCounter
 
int fStop
 

Detailed Description

Definition at line 40 of file extraUtilReader.c.

Member Data Documentation

◆ fStop

int Extra_FileReader_t_::fStop

Definition at line 60 of file extraUtilReader.c.

◆ nBufferSize

int Extra_FileReader_t_::nBufferSize

Definition at line 51 of file extraUtilReader.c.

◆ nFileRead

int Extra_FileReader_t_::nFileRead

Definition at line 46 of file extraUtilReader.c.

◆ nFileSize

int Extra_FileReader_t_::nFileSize

Definition at line 45 of file extraUtilReader.c.

◆ nLineCounter

int Extra_FileReader_t_::nLineCounter

Definition at line 58 of file extraUtilReader.c.

◆ pBuffer

char* Extra_FileReader_t_::pBuffer

Definition at line 50 of file extraUtilReader.c.

◆ pBufferCur

char* Extra_FileReader_t_::pBufferCur

Definition at line 52 of file extraUtilReader.c.

◆ pBufferEnd

char* Extra_FileReader_t_::pBufferEnd

Definition at line 53 of file extraUtilReader.c.

◆ pBufferStop

char* Extra_FileReader_t_::pBufferStop

Definition at line 54 of file extraUtilReader.c.

◆ pCharMap

char Extra_FileReader_t_::pCharMap[256]

Definition at line 48 of file extraUtilReader.c.

◆ pFile

FILE* Extra_FileReader_t_::pFile

Definition at line 44 of file extraUtilReader.c.

◆ pFileName

char* Extra_FileReader_t_::pFileName

Definition at line 43 of file extraUtilReader.c.

◆ vLines

Vec_Int_t* Extra_FileReader_t_::vLines

Definition at line 57 of file extraUtilReader.c.

◆ vTokens

Vec_Ptr_t* Extra_FileReader_t_::vTokens

Definition at line 56 of file extraUtilReader.c.

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