f.test3.dl

   1 % test a caloric plant
   2 % over MAX
   3 % In case i1 > c_max, it generates an amount of energy equal to its maximal capacity c_max, so op = c_max.
   4
   5 % f is our fossil plant
   6 caloric_plant(f).
   7
   8 % can produce 60 KW max.
   9 c_max(f,60).
  10
  11 % define control i1 to 70KW (we request 70KW)
  12 c(f,i1,70).
  13
  14 % test definition.
  15 % expecting i1 to be 70
  16 expect_c(f,i1,70).
  17
  18 % and therefore we shall produce 60KW
  19 expect_p(f,op,60).
  20
  21