]> git.somenet.org - pub/jan/ewbs-dlv.git/blob - f.test4.dl
c updates
[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