]> git.somenet.org - pub/jan/ewbs-dlv.git/blob - f.test2.dl
19:43:01 <astra> was unabhängig davon: w_charge ist afaik w_charge/1 nicht w_charge/2
[pub/jan/ewbs-dlv.git] / f.test2.dl
1 % test a caloric plant
2 % noop
3 % In case i1 = 0, it does not produce energy and therefore op = 0.
4
5 % f is our fossil plant
6 caloric_plant(f).
7
8 % can produce 60 KW max.
9 c_max(f,60).
10
11 % define control i1 to 0KW (we request 0KW)
12 c(f,i1,0).
13
14 % test definition.
15 % expecting i1 to be 0
16 expect_c(f,i1,0).
17
18 % and therefore we shall produce 0KW
19 expect_p(f,op,0).
20
21