int fprintf_compressed_network | (FileName, net, option) |
char | *FileName | A valid filename. |
NET | *net | A pointer to a correct NET structure. |
long | option | An option flag of type HIST-flags, indicating whether or not the history should be saved. Saving the history may cause very large files to be created. |
This document was generated using api2html on Thu Mar 5 09:00:00 MET DST 1998