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

Public Attributes

char * pFileName
 
char * pBuffer
 
Vec_Ptr_tvLines
 
Io_BlifObj_tpObjects
 
int nObjects
 
int iObjNext
 
char * pModel
 
Vec_Ptr_tvInputs
 
Vec_Ptr_tvOutputs
 
Vec_Ptr_tvLatches
 
Vec_Ptr_tvNames
 
Vec_Ptr_tvPis
 
Vec_Ptr_tvPos
 
Vec_Ptr_tvLis
 
Vec_Ptr_tvLos
 
Io_BlifObj_t ** pTable
 
int nTableSize
 
Abc_Ntk_tpAig
 
Vec_Ptr_tvTokens
 
char sError [512]
 
int nTablesRead
 
int nTablesLeft
 

Detailed Description

Definition at line 56 of file ioReadBlifAig.c.

Member Data Documentation

◆ iObjNext

int Io_BlifMan_t_::iObjNext

Definition at line 65 of file ioReadBlifAig.c.

◆ nObjects

int Io_BlifMan_t_::nObjects

Definition at line 64 of file ioReadBlifAig.c.

◆ nTableSize

int Io_BlifMan_t_::nTableSize

Definition at line 79 of file ioReadBlifAig.c.

◆ nTablesLeft

int Io_BlifMan_t_::nTablesLeft

Definition at line 86 of file ioReadBlifAig.c.

◆ nTablesRead

int Io_BlifMan_t_::nTablesRead

Definition at line 85 of file ioReadBlifAig.c.

◆ pAig

Abc_Ntk_t* Io_BlifMan_t_::pAig

Definition at line 81 of file ioReadBlifAig.c.

◆ pBuffer

char* Io_BlifMan_t_::pBuffer

Definition at line 60 of file ioReadBlifAig.c.

◆ pFileName

char* Io_BlifMan_t_::pFileName

Definition at line 59 of file ioReadBlifAig.c.

◆ pModel

char* Io_BlifMan_t_::pModel

Definition at line 67 of file ioReadBlifAig.c.

◆ pObjects

Io_BlifObj_t* Io_BlifMan_t_::pObjects

Definition at line 63 of file ioReadBlifAig.c.

◆ pTable

Io_BlifObj_t** Io_BlifMan_t_::pTable

Definition at line 78 of file ioReadBlifAig.c.

◆ sError

char Io_BlifMan_t_::sError[512]

Definition at line 83 of file ioReadBlifAig.c.

◆ vInputs

Vec_Ptr_t* Io_BlifMan_t_::vInputs

Definition at line 68 of file ioReadBlifAig.c.

◆ vLatches

Vec_Ptr_t* Io_BlifMan_t_::vLatches

Definition at line 70 of file ioReadBlifAig.c.

◆ vLines

Vec_Ptr_t* Io_BlifMan_t_::vLines

Definition at line 61 of file ioReadBlifAig.c.

◆ vLis

Vec_Ptr_t* Io_BlifMan_t_::vLis

Definition at line 75 of file ioReadBlifAig.c.

◆ vLos

Vec_Ptr_t* Io_BlifMan_t_::vLos

Definition at line 76 of file ioReadBlifAig.c.

◆ vNames

Vec_Ptr_t* Io_BlifMan_t_::vNames

Definition at line 71 of file ioReadBlifAig.c.

◆ vOutputs

Vec_Ptr_t* Io_BlifMan_t_::vOutputs

Definition at line 69 of file ioReadBlifAig.c.

◆ vPis

Vec_Ptr_t* Io_BlifMan_t_::vPis

Definition at line 73 of file ioReadBlifAig.c.

◆ vPos

Vec_Ptr_t* Io_BlifMan_t_::vPos

Definition at line 74 of file ioReadBlifAig.c.

◆ vTokens

Vec_Ptr_t* Io_BlifMan_t_::vTokens

Definition at line 82 of file ioReadBlifAig.c.


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