ltlgDataReadFile


in ltlgData.h


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