so-un-bot/Ingegneria del Software/0721_18/correct.txt
2022-11-16 18:08:57 +01:00

16 lines
No EOL
500 B
Text

<pre>
model Env
Integer x; // Pulsante premuto dall'utente
Real r1024;
Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
algorithm
when initial() then
state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
x := 0;
r1024 := 0;
elsewhen sample(0,1) then
(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
if (r1024 <= 0.6) then x := 0; else x := 1; end if;
end when;
end Env;
</pre>