bz2file Struct Reference

Public Attributes
FILE *	f
BZFILE *	b
char *	buf
int	nBytes
int	nBytesMax

Detailed Description

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

Synopsis [Procedure to write data into BZ2 file.]

Description [Based on the vsnprintf() man page.]

SideEffects []

SeeAlso []

Definition at line 580 of file ioWriteAiger.c.

Member Data Documentation

b

BZFILE* bz2file::b

Definition at line 582 of file ioWriteAiger.c.

buf

char* bz2file::buf

Definition at line 583 of file ioWriteAiger.c.

f

FILE* bz2file::f

Definition at line 581 of file ioWriteAiger.c.

nBytes

int bz2file::nBytes

Definition at line 584 of file ioWriteAiger.c.

nBytesMax

int bz2file::nBytesMax

Definition at line 585 of file ioWriteAiger.c.

---

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

• src/base/io/ioWriteAiger.c