psh.test5.dl

   1 % testing a pumpspeicherkraftwerk: charge over max
   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 45KW (we are storing 45 KW)
  14 c(psh,i2,45).
  15
  16 % define control is to half-full
  17 c(psh,is,half_full).
  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,45).
  25
  26 % expecting is to be half-full
  27 expect_c(psh,is,half_full).
  28
  29 % and therefore we shall return 15KW
  30 expect_p(psh,op,15).
  31