ltlgDataPrintllData


in ltlgData.h


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