ltlgDataReadFile
in ltlgData.h
extern void ltlgDataReadFile(FILE* fpt,
ltlgData
* ltlg,
ltlgDataParaTypeInteger
mode,
ltlgDataParaTypeInteger
* status);