[Rulefrag renamed to CovrRule, frag to crul
martin.hofmann@uni-bamberg.de**20090430101604] hunk ./src/Data/CallDependencies.hs 223
--- the starting node. this is what pathsFrom is supposed to do (after some more hacking) 
+-- the starting node. This is what pathsFrom is supposed to do (after some more hacking) 
hunk ./src/Data/HypoSpace.hs 57
-    , ruleIdsMap   :: (M.Map RuleFrag IDs)
+    , ruleIdsMap   :: (M.Map CovrRule IDs)
hunk ./src/Data/HypoSpace.hs 71
--- | /O(1)/, initialise a search space with a 'RuleFrag' as inital hypothese
-initHSpace :: RuleFrag ->  HSpace
+-- | /O(1)/, initialise a search space with a 'CovrRule' as inital hypothese
+initHSpace :: CovrRule ->  HSpace
hunk ./src/Data/HypoSpace.hs 83
-propagateHSp :: RuleFrag -> [(RuleFrags,[Call])] -> HSpace -> HSpace
+propagateHSp :: CovrRule -> [(CovrRules,[Call])] -> HSpace -> HSpace
hunk ./src/Data/HypoSpace.hs 121
---getByRule :: RuleFrag -> HSpace -> [Hypo]   
+--getByRule :: CovrRule -> HSpace -> [Hypo]   
hunk ./src/Data/HypoSpace.hs 145
-                -> Hypo                     -- ^at each ruleFrag in Hypo
+                -> Hypo                     -- ^at each CovrRule in Hypo
hunk ./src/Data/Hypotheses.hs 42
-data Hypo  = HH { open :: !(Set RuleFrag)
+data Hypo  = HH { open :: !(Set CovrRule)
hunk ./src/Data/Hypotheses.hs 71
-hypo :: [RuleFrag] -> Hypo
+hypo :: [CovrRule] -> Hypo
hunk ./src/Data/Hypotheses.hs 80
-openRules h = (S.map frag(open h))
+openRules h = (S.map crul(open h))
hunk ./src/Data/Hypotheses.hs 85
-  The only way to change a hypothese is by developing a RuleFrag in it.
+  The only way to change a hypothese is by developing a CovrRule in it.
hunk ./src/Data/Hypotheses.hs 87
-  the call dependencies between various RuleFrags. 
+  the call dependencies between various CovrRules. 
hunk ./src/Data/Hypotheses.hs 91
-        RuleFrag ->      -- the RuleFrag that was changed
-        (RuleFrags       -- the RuleFrags resulting from the change
+        CovrRule ->      -- the CovrRule that was changed
+        (CovrRules       -- the CovrRules resulting from the change
hunk ./src/Data/Hypotheses.hs 105
--- adds a RuleFrag to the Hypo
-extendH :: RuleFrag -> Hypo -> Hypo
+-- adds a CovrRule to the Hypo
+extendH :: CovrRule -> Hypo -> Hypo
hunk ./src/Data/Hypotheses.hs 109
-    | otherwise   = h{clsd = M.alter (insertM (frag rf)) (name rf) cs}
+    | otherwise   = h{clsd = M.alter (insertM (crul rf)) (name rf) cs}
hunk ./src/Data/Hypotheses.hs 111
--- deletes a RuleFrag in the Hypo
-shrinkH :: RuleFrag -> Hypo -> Hypo
+-- deletes a CovrRule in the Hypo
+shrinkH :: CovrRule -> Hypo -> Hypo
hunk ./src/Data/Hypotheses.hs 115
-    | otherwise    = h{clsd = M.alter (deleteM (frag rf)) (name rf) cs}
+    | otherwise    = h{clsd = M.alter (deleteM (crul rf)) (name rf) cs}
hunk ./src/Data/Hypotheses.hs 119
-     :: RuleFrag    -- ^replace/update old rule
-     -> RuleFrags    -- ^with new rules
+     :: CovrRule    -- ^replace/update old rule
+     -> CovrRules    -- ^with new rules
hunk ./src/Data/IOData.hs 4
-    RuleFrag, name, frag, opos,
-    isOpen, isClosed, modifyFrag,
+    CovrRule, name, crul, opos,
+    isOpen, isClosed, modifycrul,
hunk ./src/Data/IOData.hs 7
-    RuleFrags,
+    CovrRules,
hunk ./src/Data/IOData.hs 104
-getAll :: Name -> IOData ->  [RuleFrag]
+getAll :: Name -> IOData ->  [CovrRule]
hunk ./src/Data/IOData.hs 116
-getSpecific :: Name -> IOData -> Int -> RuleFrag
+getSpecific :: Name -> IOData -> Int -> CovrRule
hunk ./src/Data/IOData.hs 124
-getSpecifics :: Name -> IOData -> [Int] -> [RuleFrag]
+getSpecifics :: Name -> IOData -> [Int] -> [CovrRule]
hunk ./src/Data/IOData.hs 139
--- Modify RuleFrags       
+-- Modify CovrRules       
hunk ./src/Data/IOData.hs 141
-breakup :: RuleFrag -> IOData -> [RuleFrag]
+breakup :: CovrRule -> IOData -> [CovrRule]
hunk ./src/Data/IOData.hs 144
-fuse :: [RuleFrag] -> RuleFrag
-fuse frags = 
+fuse :: [CovrRule] -> CovrRule
+fuse cruls = 
hunk ./src/Data/IOData.hs 148
-      else error $ "Data.IOData.fuse : Cannot fuse RuleFrags with different names!"
+      else error $ "Data.IOData.fuse : Cannot fuse CovrRules with different names!"
hunk ./src/Data/IOData.hs 150
-    (n:names)    = map name frags 
-    rules        = map frag frags
+    (n:names)    = map name cruls 
+    rules        = map crul cruls
hunk ./src/Data/IOData.hs 154
-    indices      = nub $ concatMap covr frags
+    indices      = nub $ concatMap covr cruls
hunk ./src/Data/IOData.hs 192
--- Datatype RuleFragment
+-- Datatype CovrRulement
hunk ./src/Data/IOData.hs 196
-data RuleFrag = RF
+data CovrRule = RF
hunk ./src/Data/IOData.hs 198
-    , frag  :: !Rule      -- ^ the rule itself
+    , crul  :: !Rule      -- ^ the covering rule itself
hunk ./src/Data/IOData.hs 200
-    , opos  :: ![OpenPos] -- ^ the open positions of this fragment    
+    , opos  :: ![OpenPos] -- ^ the open positions of this covering rule    
hunk ./src/Data/IOData.hs 204
-type RuleFrags = Set RuleFrag
+type CovrRules = Set CovrRule
hunk ./src/Data/IOData.hs 207
-isOpen :: RuleFrag -> Bool
+isOpen :: CovrRule -> Bool
hunk ./src/Data/IOData.hs 213
--- | Applies the given function to the 'Rule'-part of a 'RuleFrag', and updates 
+-- | Applies the given function to the 'Rule'-part of a 'CovrRule', and updates 
hunk ./src/Data/IOData.hs 215
-modifyFrag :: RuleFrag -> (Rule -> Rule) -> RuleFrag
-modifyFrag rf@(RF _ f _ o ) g =  rf{frag= g f, opos= openPositions (g f)}
+modifycrul :: CovrRule -> (Rule -> Rule) -> CovrRule
+modifycrul rf@(RF _ f _ o ) g =  rf{crul= g f, opos= openPositions (g f)}
hunk ./src/Data/IOData.hs 231
-instance Pretty RuleFrag where
+instance Pretty CovrRule where
hunk ./src/Data/IgorMonad.hs 79
-propagate :: RuleFrag -> [(RuleFrags,[Call])] -> IM ()  
+propagate :: CovrRule -> [(CovrRules,[Call])] -> IM ()  
hunk ./src/Data/IgorMonad.hs 95
-breakupM :: RuleFrag -> IM [RuleFrag]
+breakupM :: CovrRule -> IM [CovrRule]
hunk ./src/Data/IgorMonad.hs 98
-fuseM :: [RuleFrag] -> IM RuleFrag  
+fuseM :: [CovrRule] -> IM CovrRule  
hunk ./src/Data/IgorMonad.hs 101
-coverAll :: Name -> IM RuleFrag
+coverAll :: Name -> IM CovrRule
hunk ./src/Rating/Rateable.hs 30
--- Rate a RuleFragment
+-- Rate a CovrRulement
hunk ./src/Rating/Rateable.hs 32
---instance Rateable RuleFrag where
---    rate = rate.frag
+--instance Rateable CovrRule where
+--    rate = rate.crul
hunk ./src/RuleDevelopment.hs 17
-advanceRule :: CallDep -> RuleFrag -> IM [(RuleFrags,[Call])]
+advanceRule :: CallDep -> CovrRule -> IM [(CovrRules,[Call])]
hunk ./src/RuleDevelopment.hs 27
-    RuleFrag ->             -- ^the rule to partition 
+    CovrRule ->             -- ^the rule to partition 
hunk ./src/RuleDevelopment.hs 29
-    IM (RuleFrag,[RuleFrag]) -- ^the modified rule(now closed), and the 
+    IM (CovrRule,[CovrRule]) -- ^the modified rule(now closed), and the 
hunk ./src/RuleDevelopment.hs 33
--- * uses abduce :: Rules -> Rules -> IM FunFragment
--- * find a Funfragment 'frag' in background knowledge which contains a rule f
+-- * uses abduce :: Rules -> Rules -> IM Funcrulment
+-- * find a Funcrulment 'crul' in background knowledge which contains a rule f
hunk ./src/RuleDevelopment.hs 36
--- * create a new rule from 'r' by replacing its rhs by a function call to 'frag'
--- * for each argument of 'frag' abduce the I/O pairs for a subfunction which
+-- * create a new rule from 'r' by replacing its rhs by a function call to 'crul'
+-- * for each argument of 'crul' abduce the I/O pairs for a subfunction which
hunk ./src/RuleDevelopment.hs 42
---    RuleFrag ->                 -- ^the rule to partition 
+--    CovrRule ->                 -- ^the rule to partition 
hunk ./src/RuleDevelopment.hs 44
---    IM (RuleFrag,[RuleFrag]) -- ^the modified rule (now closed), and the 
+--    IM (CovrRule,[CovrRule]) -- ^the modified rule (now closed), and the 
hunk ./src/RuleDevelopment.hs 48
--- * uses abduce :: Rules -> Rules -> IM FunFragment
+-- * uses abduce :: Rules -> Rules -> IM Funcrulment
hunk ./src/RuleDevelopment/Matching.hs 7
-introduceMatchings :: CallDep -> RuleFrag -> IM [(RuleFrags,[Call])]
+introduceMatchings :: CallDep -> CovrRule -> IM [(CovrRules,[Call])]
hunk ./src/RuleDevelopment/Matching.hs 9
-    covfrags <- breakupM $ rf
+    covcruls <- breakupM $ rf
hunk ./src/RuleDevelopment/Partition.hs 17
-trivialPartition :: RuleFrag -> IM (RuleFrags,[Call])
+trivialPartition :: CovrRule -> IM (CovrRules,[Call])
hunk ./src/RuleDevelopment/Partition.hs 23
--- creates new partitions (i.e. RuleFragements) from one RuleFragement
+-- creates new partitions (i.e. CovrRuleements) from one CovrRuleement
hunk ./src/RuleDevelopment/Partition.hs 25
--- and it should be assured, that each RuleFrag has only one open position
+-- and it should be assured, that each CovrRule has only one open position
hunk ./src/RuleDevelopment/Partition.hs 27
-partition :: RuleFrag -> IM [(RuleFrags,[Call])]
+partition :: CovrRule -> IM [(CovrRules,[Call])]
hunk ./src/RuleDevelopment/Partition.hs 31
-    let frags    = breakup rf iod
-    let partpos  = concat.init.ruleVarPos $ frag rf
-    allParts <- lift $ mapM (partitionAt frags) partpos
+    let cruls    = breakup rf iod
+    let partpos  = concat.init.ruleVarPos $ crul rf
+    allParts <- lift $ mapM (partitionAt cruls) partpos
hunk ./src/RuleDevelopment/Partition.hs 43
-partitionAt :: [RuleFrag] -> RulePos -> LM RuleFrags
+partitionAt :: [CovrRule] -> RulePos -> LM CovrRules
hunk ./src/RuleDevelopment/Partition.hs 50
-   cmpAtPos = (sameSymAt p) `on` frag
+   cmpAtPos = (sameSymAt p) `on` crul
hunk ./src/RuleDevelopment/Subfunction.hs 15
-callSubfunction :: RuleFrag -> IM [(RuleFrags,[Call])]
+callSubfunction :: CovrRule -> IM [(CovrRules,[Call])]
hunk ./src/RuleDevelopment/Subfunction.hs 18
-    if (frag rf) `hasCtorAt` (Body Root) 
+    if (crul rf) `hasCtorAt` (Body Root) 
hunk ./src/RuleDevelopment/Subfunction.hs 23
-subfunction :: RuleFrag -> IM [(RuleFrags,[Call])]
+subfunction :: CovrRule -> IM [(CovrRules,[Call])]
hunk ./src/RuleDevelopment/Subfunction.hs 25
-    covfrags <- breakupM $ rf
+    covcruls <- breakupM $ rf
hunk ./src/RuleDevelopment/Subfunction.hs 27
-    let ios      = map (abduceIOAt covfrags) novarpos
+    let ios      = map (abduceIOAt covcruls) novarpos
hunk ./src/RuleDevelopment/Subfunction.hs 45
-    addCallAt rf (p,n) = modifyFrag rf $ mkCallAt p n
+    addCallAt rf (p,n) = modifycrul rf $ mkCallAt p n
hunk ./src/RuleDevelopment/Subfunction.hs 47
-    posOfNoVarSubts = fst.unzip.filterNoVars.label.subterms.rhs.frag 
+    posOfNoVarSubts = fst.unzip.filterNoVars.label.subterms.rhs.crul 
hunk ./src/RuleDevelopment/Subfunction.hs 54
--- Every RuleFrag in 'rfs' must be defined at position 'pos'    
-abduceIOAt :: [RuleFrag] -> RulePos -> Rules
-abduceIOAt rfs p =  S.fromList $ map (fromJust.(subrule p).frag) rfs 
+-- Every CovrRule in 'rfs' must be defined at position 'pos'    
+abduceIOAt :: [CovrRule] -> RulePos -> Rules
+abduceIOAt rfs p =  S.fromList $ map (fromJust.(subrule p).crul) rfs 
hunk ./src/Syntax/Unifier.hs 91
+
hunk ./src/SynthesisEngine.hs 22
-type FunFrag = (Name,Rules)
-type FunFrags = [(Name, Rules)]
+type Funcrul = (Name,Rules)
+type Funcruls = [(Name, Rules)]
hunk ./src/SynthesisEngine.hs 103
-stopWhenNoCandidateRules :: RuleFrags -> IM Bool
+stopWhenNoCandidateRules :: CovrRules -> IM Bool
hunk ./src/SynthesisEngine.hs 110
-chooseCandidateRules :: Hypos -> IM (CallDep,RuleFrags)
+chooseCandidateRules :: Hypos -> IM (CallDep,CovrRules)
hunk ./src/SynthesisEngine.hs 117
-chooseOneRule :: RuleFrags -> IM RuleFrag
+chooseOneRule :: CovrRules -> IM CovrRule
hunk ./src/SynthesisEngine.hs 120
-applyAdvacements :: CallDep -> RuleFrag -> IM ()
+applyAdvacements :: CallDep -> CovrRule -> IM ()