]> git.somenet.org - pub/jan/ewbs-dlv.git/blob - f.test2.dl
w and f tests and f component.
[pub/jan/ewbs-dlv.git] / f.test2.dl
1 % define a caloric plant
2
3 % f is our fossil plant
4 caloric_plant(f).
5
6 % can produce 60 KW max.
7 c_max(f,60).
8
9 % define control i1 to 0KW (we request 0 KW)
10 c(f,i1,0).
11
12 % we test.
13 % expecting i1 to be 0
14 expect_c(f,i1,0).
15
16 % and therefore we shall produce 0KW
17 expect_p(f,op,0).
18
19