ltlgDataPrintInfo
in ltlgData.h
extern void ltlgDataPrintInfo(FILE* fpt,
ltlgData
ltlg);