File mtt/bin/trans/p/zero_state.p artifact e67a8f8538 part of check-in 7a7022c729
PROCEDURE zero_state(VAR x : StateVector; N : INTEGER); VAR i : INTEGER; BEGIN FOR i:=1 TO N DO x[i] := 0.0; END;
PROCEDURE zero_state(VAR x : StateVector; N : INTEGER); VAR i : INTEGER; BEGIN FOR i:=1 TO N DO x[i] := 0.0; END;