Searched defs:AAMPL_Machine_Emax (Results 1 – 2 of 2) sorted by relevance
73 AAMPL_Machine_Emax : constant := 127; constant