[improve documentation and Pretty instance of RatingData
Helmut Grohne <grohne@cs.uni-bonn.de>**20140213132544
 Ignore-this: b89fc2914cc790b48be3084e738d8c23
] hunk ./src/Igor2/Data/Rateable.hs 21
-data RatingData = RD Int Int Int Int ([Float],Float) deriving (Eq,Show)
+data RatingData = RD { partitions :: Int
+                     , openRules :: Int
+                     , totalRules :: Int
+                     , freeVars :: Int
+                     , _dontknow :: ([Float], Float) }
+                deriving (Eq, Show)
hunk ./src/Igor2/Data/Rateable.hs 33
-        pretty (RD a b c d e) = pretty (a,b,c,d,e)
+        pretty r = tupled $ [int (partitions r) <> text " partitions",
+                             int (openRules r) <> text " / " <> int (totalRules r) <> text " rules open",
+                             int (freeVars r) <> text " vars free",
+                             pretty (_dontknow r)]