objmax.h

Go to the documentation of this file.

#define MaxObjtotal 131
#define MaxMFSDtotal 60
#define MaxATTRtotal 69
#define MaxSFSDtotal 1
#define MaxVGRPtotal 7
#define MaxVSETtotal 1
#define MaxDFANtotal 1