abc-master
|
Data Fields | |
char | buf [1<< 20] |
int | nBuf |
struct buflist * | next |
Function*************************************************************
Synopsis [Reads the file into a character buffer.]
Description []
SideEffects []
SeeAlso []
Definition at line 112 of file ioReadAiger.c.
char buflist::buf |
Definition at line 113 of file ioReadAiger.c.
int buflist::nBuf |
Definition at line 114 of file ioReadAiger.c.
struct buflist * buflist::next |
Definition at line 115 of file ioReadAiger.c.