Browse Source

fixed move variable scope

main
sp 11 months ago
parent
commit
239901945d
  1. 3
      mgm.prism

3
mgm.prism

@ -58,10 +58,11 @@ module manager
endmodule
// Probability of a household to wait if the price is above the fixed limit.
formula householdAbide = (energy_price/ 10);
module household1
move1 : [0..2] init 0;
move1 : [0..3] init 0;
power_draw1 : [0..maxDraw] init 0;
job_scheduled1 : bool init false;

Loading…
Cancel
Save