[instance Ord RatingData
martin.hofmann@uni-bamberg.de**20091007091321] hunk ./src/Rating/Rateable.hs 21
-type RatingData = (Int,Int,Int,Int,Float)   
hunk ./src/Rating/Rateable.hs 22
+data RatingData = RD Int Int Int Float  deriving (Eq,Show)
+
+instance Ord RatingData where
+    compare (RD a1 b1 c1 d1)(RD a2 b2 c2 d2)
+        | a1 == a2  = compare (b1,c1,d1) (b2,c2,d2)
+        | otherwise = compare a1 a2
+instance Pretty RatingData where
+        pretty (RD a b c d) = pretty (a,b,c,d)
+        
hunk ./src/Rating/Rateable.hs 57
-     in ( --numPartitions + numCycles + numOpenRules,
-          numPartitions,
-         -- numCycles,
-          numOpenRules,
-          numFreeVars,
-          numTotalRules,
+     in ( RD
+          --numPartitions + numCycles + numOpenRules
+          numPartitions
+         -- numCycles
+         -- numOpenRules
+          numFreeVars
+          numTotalRules