ltlgDataParaInfo


in ltlgData.h


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