[renaming, organising...
martin.hofmann@uni-bamberg.de**20081126154903] hunk ./src/Data/HypoSpace.hs 5
-    emptyHSpace, -- FIXME: should not be visible outside
hunk ./src/Data/IOData.hs 5
-import Data.Hypotheses
+
+import Data.Hypotheses ()
+import qualified Data.Hypotheses as H
+
+import Data.Map (Map)
+import Data.Map as M
+
hunk ./src/Data/IOData.hs 14
+
hunk ./src/Data/IOData.hs 18
- | IOData  
+ | IOData  defines the context in which a function is synthesised. 
+   Theorem: The synthesis of a function is solely dependent on its context and 
+            the search strategy. Same context -.> syme synthesised function 
+            definition. 
hunk ./src/Data/IOData.hs 24
-    { targetName :: Name
-    , targetIO :: Rules
-    , backgroundKnowledge :: Bimap Name Rules 
+    { evidence  :: Bimap Name Rules
+    --, matching :: Map RHS [(Name,LHS))]
+    , functions :: Bimap Name Rules
hunk ./src/Data/IOData.hs 32
-    { targetName = mkName "" 
-    , targetIO = rules []
-    , backgroundKnowledge = B.empty
+    { evidence = B.empty
+    , functions = B.empty
hunk ./src/Data/IOData.hs 50
-insertWithName n rs iod@(IOD{ backgroundKnowledge = bk }) =
-    iod{ backgroundKnowledge =  B.tryInsert n rs bk}
+insertWithName n rs iod@(IOD{ evidence = bk }) =
+    iod{ evidence =  B.tryInsert n rs bk}
hunk ./src/Data/IOData.hs 61
-insert rs iod@(IOD{ backgroundKnowledge = bk }) =
+insert rs iod@(IOD{ evidence = bk }) =
hunk ./src/Data/IOData.hs 70
+getByName :: Name -> IOData ->  [Rule]
+getByName n iod = 
+    case lookupByName n iod of
+        Just rs -> rulesToList rs
+        Nothing -> error $ "IOData.getByName: No Rules for Name" ++ show n
+        
hunk ./src/Data/IOData.hs 77
-lookupByName n b = B.lookup n $ backgroundKnowledge b 
+lookupByName n b = B.lookup n $ evidence b 
hunk ./src/Data/IOData.hs 81
-lookupByRules rs b = B.lookupR rs $ backgroundKnowledge b 
- 
--- | Create a IOData value from a new I/O pairs of a new target function and an
--- existing IOData value.
---asNew :: (Name,Rules) -> IOData -> IOData
--- TODO:
---asNew (n,rs) iod =
--- * insert old target function into background knowledge
--- * check if new target function is in BK, if so, remove
--- * set new target function as current target function 
+lookupByRules rs b = B.lookupR rs $ evidence b 
hunk ./src/Data/IOData.hs 92
-insertUnsafe n rs iod@(IOD{ backgroundKnowledge = bk }) =
-    iod{ backgroundKnowledge =  B.insert n rs bk}
-    
+insertUnsafe n rs iod@(IOD{ evidence = bk }) =
+    iod{ evidence =  B.insert n rs bk}
hunk ./src/Data/IOData.hs 95
+