[initIgor sketched
martin.hofmann@uni-bamberg.de**20081126092741] hunk ./src/Data/IgorData.hs 4
-import Data.IOData
-import Data.HypoSpace
-import Data.Rules
-import Data.Hypotheses
+import Data.IOData (IOData, emptyIOData)
+--import qualified Data.IOData as I
+
+import Data.HypoSpace (HSpace)
+import qualified Data.HypoSpace as HS
+import qualified Data.Rules as R
+import qualified Data.Hypotheses as H
hunk ./src/Data/IgorData.hs 14
+    
+emptyIgor :: Igor
+emptyIgor = Igor $ emptyIOData emptyHSpace
+
+initIgor :: IOData -> Name -> Igor
+initIgor iod n =
+    -- FIXME:
+    -- get all Rules with name 'n'
+    -- antiunify them and
+    -- create a initial Hypo
+    -- add it to the HSpace
+    Igor iod emptyHSpace