Changeset 12777

Timestamp:

03.11.2009 17:29:52 (3 weeks ago)

Author:

maeder

Message:

current hierarchy without cycles

Files:

• trunk/GUI/displayDependencyGraph.hs (modified) (2 diffs)

trunk/GUI/displayDependencyGraph.hs

@@ -105 +105 @@
 
 exclude :: String -> Bool
-exclude s = not $
-    isPrefixOf "ATC." s || isPrefixOf ".ATC_" (dropWhile (/= '.') s)
+exclude s = not
+    $ isPrefixOf "ATC." s || isPrefixOf ".ATC_" (dropWhile (/= '.') s)
     || Set.member s (Set.fromList
     [ "Isabelle.CreateTheories"
+    , "CspCASLProver.Utils", "CspCASLProver.IsabelleUtils"
+    , "CspCASLProver.TransProcesses", "CspCASLProver.CspCASLProver"
+    , "CASL.QuickCheck"
     , "OWL.StructureAnalysis", "OWL.OWLAnalysis"
-    , "OWL.ProvePellet"
+    , "OWL.ProvePellet", "OWL.ProveFact"
+    , "Proofs.InferBasic", "Proofs.BatchProcessing"
+    , "Comorphisms.GetPreludeLib"
+    , "Maude.Maude2DG", "Maude.PreComorphism"
     , "Haskell.Haskell2DG", "Haskell.CreateModules"
-    , "Comorphisms.KnownProvers", "Interfaces.GenericATPState", "CMDL.Utils"
-    , "GUI.Utils", "GUI.ProofManagement" -- Proofs
-    , "Proofs.Automatic", "Driver.Options" -- Static
-    , "Proofs.EdgeUtils", "Proofs.StatusUtils" -- Driver
-    , "Proofs.BatchProcessing", "Interfaces.GenericATPState"
+    , "Comorphisms.KnownProvers", "Comorphisms.LogicGraph"
+    , "Interfaces.GenericATPState"
+    , "GUI.Utils"
+    , "Driver.Options" -- Static
     , "GUI.GenericATP", "SoftFOL.CreateDFGDoc"
     , "SoftFOL.MathServMapping", "SoftFOL.ProveMathServ"
@@ -125 +130 @@
     , "Propositional.Prove"
     , "Modifications.ModalEmbedding"
-    , "Static.AnalysisLibrary"
-    , "OMDoc.OMDocDefs", "OMDoc.OMDocOutput"
+    , "Static.AnalysisLibrary", "Static.WACocone"
+    , "OMDoc.OMDocDefs", "OMDoc.OMDocOutput", "OMDoc.DataTypes"
+    , "OMDoc.Export", "OMDoc.Sentences"
     , "OMDoc.OMDocInput", "OMDoc.HetsDefs", "Debug.Trace"
     ])