]> git.somenet.org - pub/jan/ewbs-dlv.git/blob - f.test4.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.test4.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,60).
9
10 % define control i1 to 60KW (we request 60KW)
11 c(f,i1,60).
12
13 % test definition.
14 % expecting i1 to be 60
15 expect_c(f,i1,60).
16
17 % and therefore we shall produce 60KW
18 expect_p(f,op,60).
19
20