From 6c0fae9874a4c889193cc5819bfeabe68cabdd1c Mon Sep 17 00:00:00 2001
From: someone <jan@jvales.net>
Date: Tue, 5 Jun 2012 00:05:04 +0200
Subject: [PATCH] F updates

---
 f.test1.dl |  9 +++++----
 f.test2.dl |  8 +++++---
 f.test3.dl | 14 ++++++++------
 f.test4.dl | 15 ++++++++-------
 f.test5.dl | 19 ++++++++++---------
 5 files changed, 36 insertions(+), 29 deletions(-)

diff --git a/f.test1.dl b/f.test1.dl
index 4187d2c..d499399 100644
--- a/f.test1.dl
+++ b/f.test1.dl
@@ -1,4 +1,6 @@
-% define a caloric plant
+% test a caloric plant
+% normal operation
+% In Case c_max > i1 > 0 , it produces energy, so op = i1
 
 % f is our fossil plant
 caloric_plant(f).
@@ -6,14 +8,13 @@ caloric_plant(f).
 % can produce 60 KW max.
 c_max(f,60).
 
-% define control i1 to 5KW (we request 5 KW)
+% define control i1 to 5KW (we request 5KW)
 c(f,i1,5).
 
-% we test.
+% test definition.
 % expecting i1 to be 5
 expect_c(f,i1,5).
 
 % and therefore we shall produce 5KW
 expect_p(f,op,5).
 
-
diff --git a/f.test2.dl b/f.test2.dl
index 32ce978..a31c43e 100644
--- a/f.test2.dl
+++ b/f.test2.dl
@@ -1,4 +1,6 @@
-% define a caloric plant
+% test a caloric plant
+% noop
+% In case i1 = 0, it does not produce energy and therefore op = 0.
 
 % f is our fossil plant
 caloric_plant(f).
@@ -6,10 +8,10 @@ caloric_plant(f).
 % can produce 60 KW max.
 c_max(f,60).
 
-% define control i1 to 0KW (we request 0 KW)
+% define control i1 to 0KW (we request 0KW)
 c(f,i1,0).
 
-% we test.
+% test definition.
 % expecting i1 to be 0
 expect_c(f,i1,0).
 
diff --git a/f.test3.dl b/f.test3.dl
index b7072a9..db7d9ee 100644
--- a/f.test3.dl
+++ b/f.test3.dl
@@ -1,4 +1,6 @@
-% define a caloric plant
+% test a caloric plant
+% over MAX
+% In case i1 > c_max, it generates an amount of energy equal to its maximal capacity c_max, so op = c_max.
 
 % f is our fossil plant
 caloric_plant(f).
@@ -6,12 +8,12 @@ caloric_plant(f).
 % can produce 60 KW max.
 c_max(f,60).
 
-% define control i1 to 60KW (we request 60 KW)
-c(f,i1,60).
+% define control i1 to 70KW (we request 70KW)
+c(f,i1,70).
 
-% we test.
-% expecting i1 to be 60
-expect_c(f,i1,60).
+% test definition.
+% expecting i1 to be 70
+expect_c(f,i1,70).
 
 % and therefore we shall produce 60KW
 expect_p(f,op,60).
diff --git a/f.test4.dl b/f.test4.dl
index 649d0bb..11a18bc 100644
--- a/f.test4.dl
+++ b/f.test4.dl
@@ -1,4 +1,5 @@
-% define a caloric plant
+% test a caloric plant
+% no useful testcase left - go for normal operation.
 
 % f is our fossil plant
 caloric_plant(f).
@@ -6,14 +7,14 @@ caloric_plant(f).
 % can produce 60 KW max.
 c_max(f,60).
 
-% define control i1 to 65KW (we request 65 KW)
-c(f,i1,65).
+% define control i1 to 60KW (we request 60KW)
+c(f,i1,60).
 
-% we test.
-% expecting i1 to be 65
-expect_c(f,i1,65).
+% test definition.
+% expecting i1 to be 60
+expect_c(f,i1,60).
 
-% and therefore we shall produce 60KW as 60 is our MAX
+% and therefore we shall produce 60KW
 expect_p(f,op,60).
 
 
diff --git a/f.test5.dl b/f.test5.dl
index 070deb1..2daf3a6 100644
--- a/f.test5.dl
+++ b/f.test5.dl
@@ -1,19 +1,20 @@
-% define a caloric plant
+% test a caloric plant
+% no useful testcase left - go for normal operation.
 
 % f is our fossil plant
 caloric_plant(f).
 
 % can produce 60 KW max.
-c_max(f,60).
+c_max(f,20).
 
-% define control i1 to 10KW (we request 10 KW)
-c(f,i1,10).
+% define control i1 to 20KW (we request 20KW)
+c(f,i1,20).
 
-% we test.
-% expecting i1 to be 10
-expect_c(f,i1,10).
+% test definition.
+% expecting i1 to be 20
+expect_c(f,i1,20).
 
-% and therefore we shall produce 10KW
-expect_p(f,op,10).
+% and therefore we shall produce 20KW
+expect_p(f,op,20).
 
 
-- 
2.43.0