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