]> git.somenet.org - pub/jan/ewbs-dlv.git/blob - f.test5.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.test5.dl
1 % test a caloric plant
2 % no useful testcase left - go for normal operation.
3
4 % f is our fossil plant
5 caloric_plant(f).
6
7 % can produce 60 KW max.
8 c_max(f,20).
9
10 % define control i1 to 20KW (we request 20KW)
11 c(f,i1,20).
12
13 % test definition.
14 % expecting i1 to be 20
15 expect_c(f,i1,20).
16
17 % and therefore we shall produce 20KW
18 expect_p(f,op,20).
19
20