[rename empty in CallDependencies and HSpace
martin.hofmann@uni-bamberg.de**20081126091123
 empty -> noCalls in CallDependencies
 initHSpace -> emptyHSpace in HypoSpace
 initHSpace added
] hunk ./src/Data/CallDependencies.hs 5
-        empty, addCall, tryAddCall,
+        noCalls, addCall, tryAddCall,
hunk ./src/Data/CallDependencies.hs 57
-empty :: CallDep
-empty = CD G.empty M.empty
+noCalls :: CallDep
+noCalls = CD G.empty M.empty
hunk ./src/Data/CallDependencies.hs 172
-c1 = addCall (h,i,GT) $ addCall (g,h,EQ) $ addCall (f,g,LT) $ empty
+c1 = addCall (h,i,GT) $ addCall (g,h,EQ) $ addCall (f,g,LT) $ noCalls
hunk ./src/Data/HypoSpace.hs 3
+
hunk ./src/Data/HypoSpace.hs 5
+    emptyHSpace, -- FIXME: should not be visible outside
hunk ./src/Data/HypoSpace.hs 59
-
--- | /O(1)/, create an empty Search Space
-initHSpace :: HSpace
-initHSpace = HSpace 
+emptyHSpace :: HSpace
+emptyHSpace = HSpace 
hunk ./src/Data/HypoSpace.hs 65
+    
+-- | /O(1)/, create an empty Search Space
+initHSpace :: Hypo ->  HSpace
+initHSpace = flip insert emptyHSpace
hunk ./src/Data/Hypotheses.hs 35
-import Data.CallDependencies (CallDep, Call, tryAddCall)
-import qualified Data.CallDependencies as D
+import Data.CallDependencies (CallDep, Call, tryAddCall, noCalls)
hunk ./src/Data/Hypotheses.hs 73
-hypo ro  = HH ro M.empty D.empty
+hypo ro  = HH ro M.empty noCalls