[Using Ratingdata is now more general and more flexible
martin.hofmann@uni-bamberg.de**20090126141525
 Generalised rateIdMap in HypoSpace from IntMap IDs to mao RatingData IDs
] hunk ./src/Data/HypoSpace.hs 54
-    , rateIdsMap   :: (I.IntMap IDs)  
+    , rateIdsMap   :: (M.Map RatingData IDs) --(I.IntMap IDs)  
hunk ./src/Data/HypoSpace.hs 103
-    hsp{rateIdsMap = I.alter f (rate h) rhm}
+    hsp{rateIdsMap = M.alter f (rate h) rhm}
+    --    hsp{rateIdsMap = I.alter f (rate h) rhm}
hunk ./src/Data/HypoSpace.hs 127
-    , rateIdsMap  = I.empty
+    , rateIdsMap  = M.empty -- I.empty
hunk ./src/Data/HypoSpace.hs 196
-bestHypos  = hypos.((IS.toList . I.findMin . rateIdsMap) >>= getByIds)
+bestHypos  =  hypos.((IS.toList . snd . M.findMin . rateIdsMap) >>= getByIds)
+            --hypos.((IS.toList .  I.findMin . rateIdsMap) >>= getByIds)
hunk ./src/Rating/Rateable.hs 17
-type RatingData = Int
+type RatingData = Int   
hunk ./src/Rating/Rateable.hs 24
-instance Rateable Rule where
-    rate r = size (lhs r) * size (rhs r)
+--instance Rateable Rule where
+--    rate r =  size (lhs r) * size (rhs r)
hunk ./src/Rating/Rateable.hs 30
-instance Rateable RuleFrag where
-    rate = rate.frag
+--instance Rateable RuleFrag where
+--    rate = rate.frag
hunk ./src/Rating/Rateable.hs 37
-    rate        =  noOfTotalRules
+    rate h       =  numberOfPartitions h
hunk ./src/Rating/Rateable.hs 40
-noOfOpenRules :: Hypo -> RatingData                 
-noOfOpenRules = S.size.open
+numberOfOpenRules :: Hypo -> RatingData                 
+numberOfOpenRules = S.size.open 
hunk ./src/Rating/Rateable.hs 44
-noOfTotalRules :: Hypo -> RatingData 
-noOfTotalRules h =  S.size $ S.map lhs (allRules h)
+numberOfTotalRules :: Hypo -> RatingData 
+numberOfTotalRules h =  S.size $ S.map lhs (allRules h)