ltlgDataPrintllInfo


in ltlgData.h


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