ltlgDataPrintInfo


in ltlgData.h


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