ltlgDataPrint
in ltlgData.h
extern void ltlgDataPrint(FILE* fpt,
ltlgData
ltlg,
ltlgDataParaTypeInteger
mode);