typedef struct ltlgDataParaInfo { ltlgDataParaTypeReal d; ltlgDataParaTypeReal Min; ltlgDataParaTypeReal Max; ltlgDataParaTypeInteger n; ltlgDataParaTypeInteger dummy; } ltlgDataParaInfo;