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

13 lines
No EOL
252 B
Text

Si consideri il seguente modello Modelica.
<pre>
class System
Boolean x;
initial equation
x = false;
equation
when sample(0, 2) then
x = not (pre(x));
end when;
end System;
</pre>
Quale delle seguenti affermazioni vale per la variabile booleana x ?