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