]> git.somenet.org - pub/jan/ewbs-dlv.git/blob - f.test1.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.test1.dl
1 % test a caloric plant
2 % normal operation
3 % In Case c_max > i1 > 0 , it produces energy, so op = i1
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 5KW (we request 5KW)
12 c(f,i1,5).
13
14 % test definition.
15 % expecting i1 to be 5
16 expect_c(f,i1,5).
17
18 % and therefore we shall produce 5KW
19 expect_p(f,op,5).
20