abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
buflist Struct Reference

Data Fields

char buf [1<< 20]
 
int nBuf
 
struct buflistnext
 

Detailed Description

Function*************************************************************

Synopsis [Reads the file into a character buffer.]

Description []

SideEffects []

SeeAlso []

Definition at line 112 of file ioReadAiger.c.

Field Documentation

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.


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