psh.test3.dl

   1 % testing a pumpspeicherkraftwerk: charge
   2 storage_plant(psh).
   3
   4 % define max capacity
   5 c_max(psh,20).
   6
   7 % define max charging power
   8 charge_max(psh,30).
   9
  10 % define control i1 to charge
  11 c(psh,i1,charge).
  12
  13 % define control i2 to 10KW (we are storing 10 KW)
  14 c(psh,i2,10).
  15
  16 % define control is to empty
  17 c(psh,is,empty).
  18
  19 % we test.
  20 % expecting i1 to be charge
  21 expect_c(psh,i1,charge).
  22
  23 % expecting i2 to be 10
  24 expect_c(psh,i2,10).
  25
  26 % expecting is to be empty
  27 expect_c(psh,is,empty).
  28
  29 % and therefore we shall produce 0KW
  30 expect_p(psh,op,0).
  31