|
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.