]> git.somenet.org - pub/jan/ewbs-dlv.git/blob - psh.test1.dl
windmill updates
[pub/jan/ewbs-dlv.git] / psh.test1.dl
1 % testing a pumpspeicherkraftwerk: discharge
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 5KW (we request 5 KW)
11 c(psh,i1,5).
12
13 % define control i2 to 0KW (we are not getting energy to store)
14 c(psh,i2,0).
15
16 % define control is to full
17 c(psh,is,full).
18
19 % we test.
20 % expecting i1 to be 5
21 expect_c(psh,i1,5).
22
23 % expecting i2 to be 0
24 expect_c(psh,i2,0).
25
26 % expecting is to be full
27 expect_c(psh,is,full).
28
29 % and therefore we shall produce 5KW
30 expect_p(psh,op,5).
31
32
33
34
35
36
37
38 %component
39 %not_empty(C) :- storage_plant(C), c(C,is,full) v c(C,is,half_full).
40 %not_full(C) :- storage_plant(C), c(C,is,empty) v c(C,is,half_full).
41