File mttroot/mtt/bin/trans/p/zero_vector.p artifact 51fb965f2c part of check-in be739f082c
PROCEDURE zero_vector(VAR x : StateVector; N : INTEGER); VAR i : INTEGER; BEGIN FOR i:=1 TO N DO x[i] := 0.0; END;
PROCEDURE zero_vector(VAR x : StateVector; N : INTEGER); VAR i : INTEGER; BEGIN FOR i:=1 TO N DO x[i] := 0.0; END;