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.

Field Documentation

BZFILE* bz2file::b

Definition at line 582 of file ioWriteAiger.c.

char* bz2file::buf

Definition at line 583 of file ioWriteAiger.c.

FILE* bz2file::f

Definition at line 581 of file ioWriteAiger.c.

int bz2file::nBytes

Definition at line 584 of file ioWriteAiger.c.

int bz2file::nBytesMax

Definition at line 585 of file ioWriteAiger.c.

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