f.test5.dl

   1 % define a caloric plant
   2
   3 % f is our fossil plant
   4 caloric_plant(f).
   5
   6 % can produce 60 KW max.
   7 c_max(f,60).
   8
   9 % define control i1 to 10KW (we request 10 KW)
  10 c(f,i1,10).
  11
  12 % we test.
  13 % expecting i1 to be 10
  14 expect_c(f,i1,10).
  15
  16 % and therefore we shall produce 10KW
  17 expect_p(f,op,10).
  18
  19