Tuesday, August 4, 2009

GAMS: $onechoS

What is the difference between $onecho and $onechoS?

From the limited documentation it is not clear but $onechoS is 100% identical to $onecho. So no need to ever use $onechoS: in my opinion (well actually experience) it will just cause confusion.