ll2ltlgConfigFileRead
in lll2ltlg.h
extern void ll2ltlgConfigFileRead(
lll2ltlgInfo
* linfo, FILE* fpt);