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