[output open rules in partial Hypos
martin.hofmann@uni-bamberg.de**20090618025706] hunk ./src/Data/Hypotheses.hs 9
-    openRules, closedRules, allRules, 
+    openRules, closedRules, allRules, allBindings,
hunk ./src/Data/Hypotheses.hs 84
+
+allBindings :: Hypo -> [(Name,Rules)]
+allBindings h = M.toList $ foldl' ins (clsd h) (S.toList $ open h)
+    where
+    ins m e = M.alter (insertM (crul e)) (star e) m
+    star = mkName . ('*':) . show . name
hunk ./src/SynthesisEngine.hs 96
-       llogIN $ text "Stopping after" <+> int lc <+> text "loops."
-       return $ map (M.toList.clsd) (S.toList hs)
+       llogIN $ text "Stopped after entering loop the" <+> int lc <> text ". time."
+       return $ map allBindings (S.toList hs)