f.test1.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 5KW (we request 5 KW)
  10 c(f,i1,5).
  11
  12 % we test.
  13 % expecting i1 to be 5
  14 expect_c(f,i1,5).
  15
  16 % and therefore we shall produce 5KW
  17 expect_p(f,op,5).
  18
  19