[type check, comments, and various imports added
martin.hofmann@uni-bamberg.de**20081126095044] hunk ./src/Data/HypoSpace.hs 59
+-- | /O(1)/, create an empty Search Space
hunk ./src/Data/HypoSpace.hs 67
--- | /O(1)/, create an empty Search Space
+-- | /O(1)/, initialise a search space setting a hypothese as inital hypothese
hunk ./src/Data/IgorData.hs 5
+import Data.HypoSpace (emptyHSpace)
+import Language.Haskell.TH
hunk ./src/Data/IgorData.hs 18
-emptyIgor = Igor $ emptyIOData emptyHSpace
+emptyIgor = Igor emptyIOData emptyHSpace
hunk ./src/Data/Test.hs 1
-
-module Data.Test where
-
-import Data.HypoSpace 
-import Data.Rules (rules, rule)
-import Data.Hypotheses (Hypo, hypo)
-
-
---{- -----------------------------------------------------------------------------
--- | test Data
-------------------------------------------------------------------------------- -}
---
-
-rule1 = rule 1 "a"
-rule2 = rule 2 "b"
-rule3 = rule 3 "c"
-rule4 = rule 4 "d"
-rule5 = rule 5 "e"
-rule6 = rule 6 "f"
-rule7 = rule 7 "g"
-rule8 = rule 8 "h"
-rule9 = rule 9 "i"
-rule10 = rule 10 "j"
-
-rule1' = rule 1 "aaaaaaaaa"
-rule2' = rule 2 "bbbbbbbbbbbbbbbbbbbb"
-rule3' = rule 3 "ccc"
-rule4' = rule 4 "ddd"
-rule5' = rule 5 "eeeeeeeeeeeeeeee"
-rule6' = rule 6 "fff"
-rule7' = rule 7 "ggg"
-rule8' = rule 8 "hhh"
-rule9' = rule 9 "iii"
-rule10' = rule 10 "jjj"
-
-rules1o = rules [rule1,rule2,rule3]
-rules1c = rules [rule4,rule5]
-rules1ao = rules [rule6]
-rules1ac = rules [rule4,rule5]
-rules2o = rules [rule6,rule7,rule8]
-rules2c = rules [rule9,rule10]
-rules3o = rules [rule1,rule6,rule8]
-rules3c = rules [rule4,rule10]
-rules4o = rules [rule9,rule2,rule3]
-rules4c = rules [rule9,rule5]
-
-
-hypo1 = hypo rules1o rules1c
-hypo1a = hypo rules1ao rules1ac
-hypo2 = hypo rules2o rules2c
-hypo3 = hypo rules3o rules3c
-hypo4 = hypo rules4o rules4c
-
-hsp = initHSpace
-hsp1 = insert hypo1 hsp
-hsp2 = insert hypo2 hsp1
-
-hsp3 = insert hypo3 hsp2
-hsp4 = insert hypo4 hsp3
rmfile ./src/Data/Test.hs