File mtt/bin/trans/p/zero_vector.p artifact 51fb965f2c part of check-in 7a7022c729
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;