[options for greedySplt and para defined
martin.hofmann@uni-bamberg.de**20100810115016] hunk ./src/Igor2/Config.hs 7
-    setDebug, setSimplify, setEnhanced, setDumpLog, setVerbose, setVerbosity,
-    setMaxLoops,setMaxTiers, setCmpRecArg, setTargets, addTargets, delTargets, setBackground,
-    addBackground, delBackground, setPredicates, addPredicates, setCtxFile, delPredicates,
+    setDebug, setSimplify, setEnhanced, setPara, setRpdRlSplt, setDumpLog, 
+    setVerbose, setVerbosity, setMaxLoops,setMaxTiers, setCmpRecArg, 
+    setTargets, addTargets, delTargets, setBackground, addBackground, 
+    delBackground, setPredicates, addPredicates, setCtxFile, delPredicates,
hunk ./src/Igor2/Config.hs 28
+    , scr_para       :: Bool
+    , scr_greedySplt  :: Bool
hunk ./src/Igor2/Config.hs 49
+    , scr_para       = False
+    , scr_greedySplt  = False
hunk ./src/Igor2/Config.hs 76
+setRpdRlSplt  v scr = scr{scr_greedySplt = v}
+setPara       v scr = scr{scr_para = v}
hunk ./src/Igor2/Config.hs 101
-                fill 20 (text "Enhanced") <+> bool (scr_enhanced c) <$>   
+                fill 20 (text "Rapid rule-splitting") <+> bool (scr_greedySplt c) <$> 
+                fill 20 (text "Enhanced") <+> bool (scr_enhanced c) <$> 
+                fill 20 (text "Use paramorphisms") <+> bool (scr_para c) <$>   
hunk ./src/Igor2/Data/IgorMonad.hs 16
-     atMaxLoops, atMaxTiers, getPatComparison, background, targets, predicates, addIO, 
-    breakupM, coverAll, evalIO,
+    doGreedySplt, usePara, atMaxLoops, atMaxTiers, getPatComparison, background, 
+    targets, predicates, addIO, breakupM, coverAll, evalIO,
hunk ./src/Igor2/Data/IgorMonad.hs 110
+-- | use paramoprhisms?
+usePara :: IM Bool
+usePara = gets $ scr_para.igor_cnf
+
+-- | split greedily
+doGreedySplt :: IM Bool
+doGreedySplt = gets $ scr_greedySplt.igor_cnf
+
hunk ./src/Igor2/UI/UIStarter.hs 54
+-- not nice to have two optiuon recordsm one for the UI, and one for Igor
hunk ./src/Igor2/UI/UIStarter.hs 65
-ctxFile = scr_ctxFile . config
-debug  = scr_debug . config
-simplify = scr_simplify . config
-enhanced = scr_enhanced . config
-dumpLog = scr_dumpLog . config
-verbose = scr_verbose . config
+ctxFile   = scr_ctxFile . config
+debug     = scr_debug . config
+simplify  = scr_simplify . config
+enhanced  = scr_enhanced . config
+para      = scr_para . config
+greedySplt = scr_greedySplt . config
+dumpLog   = scr_dumpLog . config
+verbose   = scr_verbose . config
hunk ./src/Igor2/UI/UIStarter.hs 74
-maxLoops = scr_maxLoops . config
-maxTiers = scr_maxTiers . config
-redOrder = scr_redOrder . config
+maxLoops  = scr_maxLoops . config
+maxTiers  = scr_maxTiers . config
+redOrder  = scr_redOrder . config
hunk ./src/Igor2/UI/UIStarter.hs 426
+    , ("greedySplt",           "enable rapid rule-splittinge",
+            greedySplt,  \ v s -> s{ config=(config s){scr_greedySplt  = v }})
hunk ./src/Igor2/UI/UIStarter.hs 430
-    , ("typeCheck",           "type check the specification",
+    , ("para",           "use paramoprhisms instead of catamorphisms",
+            para,  \ v s -> s{ config=(config s){scr_para  = v }})
+    , ("typeCheck",           "force to type check the specification",