[heuristic added as an additional field in RatingData, not used for comparison, though
martin.hofmann@uni-bamberg.de**20091021082837] hunk ./src/Data/Hypotheses.hs 257
---instance Rateable Hypo where
---    rate h = let (cd,bs) = simplifiedBindings h
---                 allRs = concatMap (S.toList . snd) bs
---                 numFs  = length bs
---                 numRs  = length allRs
---                 numPs  = numberOfPartitions allRs         
---                 numCs = cycles cd
---                 numLs = loops cd
---                 fracs = map divide [(numRs,numFs) -- functions per rule
---                                    ,(numRs,numPs) -- partitions per rule
-----                                    ,(numCs,numFs) -- cycles per function
---                           --         ,(numLs,numFs) -- loops per function
---                                    ]
---             in mkRatingData fracs ((sum fracs)/fromIntegral(length fracs))
---    
---divide = uncurry ((/) `on` fromIntegral)
+
hunk ./src/Data/Hypotheses.hs 275
+          (heuristic h)
hunk ./src/Data/Hypotheses.hs 310
+        
+
+heuristic h = let (cd,bs) = simplifiedBindings h
+                  allRs = concatMap (S.toList . snd) bs
+                  numFs  = length bs
+                  numRs  = length allRs
+                  numPs  = numberOfPartitions h         
+                  numCs = cycles cd
+                  numLs = loops cd
+                  fracs = map divide [(numRs,numFs) -- functions per rule
+                                     ,(numRs,numPs) -- partitions per rule
+--                                   ,(numCs,numFs) -- cycles per function
+                          --         ,(numLs,numFs) -- loops per function
+                                    ]
+              in ((sum fracs)/fromIntegral(length fracs))
+    
+divide = uncurry ((/) `on` fromIntegral)
hunk ./src/Rating/Rateable.hs 20
-data RatingData = RD Int Int Int Int  deriving (Eq,Show)
+data RatingData = RD Int Int Int Int Float deriving (Eq,Show)
hunk ./src/Rating/Rateable.hs 23
-    compare (RD a1 b1 c1 d1)(RD a2 b2 c2 d2)
+    compare (RD a1 b1 c1 d1 _)(RD a2 b2 c2 d2 _)
hunk ./src/Rating/Rateable.hs 27
-        pretty (RD a b c d) = pretty (a,b,c,d)
+        pretty (RD a b c d e) = pretty (a,b,c,d,e)