ltlgDataWriteFile


in ltlgData.h


extern void ltlgDataWriteFile(FILE* fpt, ltlgData * ltlg, ltlgDataParaTypeInteger mode, ltlgDataParaTypeInteger * status);