psh.dl

   1 % pumpspeicherkraftwerk definition.
   2 % if i1 > 0 produce
   3 p(C,op,OP) :- not ab(C), storage_plant(C), c(C,i1,0), c(C,i2,I2),OP = I2, #int(OP).
   4 p(C,op,OP) :- not ab(C), storage_plant(C), c(C,i1,I1), c(C,i2,I2),c_max(C,MAX), I1 > 0, MAX >= I1, OP = I1 + I2, #int(OP).
   5 p(C,op,OP) :- not ab(C), storage_plant(C), c(C,i1,I1), c(C,i2,I2),c_max(C,MAX), I1 > MAX, OP = MAX + I2, #int(OP).
   6
   7 %psh_empty(C) :- storage_plant(C), -c(C,is,full), -c(C,is,half_full).
   8 %psh_not_full(C) :- storage_plant(C), c(C,is,empty) | c(C,is,half_full).
   9
  10 %p(C,op,OP) :- not ab(C), storage_plant(C), c(C,i1,I1), c(C,i2,I2),OP = I1 + I2.
  11 %p(C,op,OP) :- not ab(C), storage_plant(C), c(C,iw,IW), IW > 40, OP = 0.
  12 %p(C,op,OP) :- not ab(C), storage_plant(C), c(C,i1,I1), psh_empty(C), I1 == 0, OP = 0.
  13
  14
  15