X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fmatita%2Fpics%2Flibraries-clusters.dot;fp=helm%2Fpapers%2Fmatita%2Fpics%2Flibraries-clusters.dot;h=325f2be5795a38ef84e8df9d7a821cfaa6a1339d;hb=b6f12c7851b23c4793a9fe279c4439b84c817b23;hp=0000000000000000000000000000000000000000;hpb=c51860b3abc51c2309059bb1ee3eb1fe19198656;p=helm.git

diff --git a/helm/papers/matita/pics/libraries-clusters.dot b/helm/papers/matita/pics/libraries-clusters.dot
new file mode 100644
index 000000000..325f2be57
--- /dev/null
+++ b/helm/papers/matita/pics/libraries-clusters.dot
@@ -0,0 +1,136 @@
+digraph G {
+//   clusterrank = none;
+  fillcolor = "gray93";
+  fontsize = 24;
+  node [fontsize = 24];
+  /* libs clusters */
+  subgraph cluster_presentation {
+    label = "Terms at the content and presentation level\n12.1 klocs";
+    labelloc = "b";
+    labeljust = "r";
+    style = "filled";
+    color = "white"
+    acic_content;
+    cic_disambiguation;
+    content_pres;
+    grafite_parser;
+    lexicon;
+  }
+  subgraph cluster_partially {
+    label = "Partially specified terms\n15.1 klocs";
+    labelloc = "t";
+    labeljust = "l";
+    style = "filled";
+    color = "white"
+    cic_unification;
+    tactics;
+    grafite;
+    grafite_engine;
+  }
+  subgraph cluster_fully {
+    label = "Fully specified terms\n18.9 klocs";
+    labelloc = "b";
+    labeljust = "l";
+    style = "filled";
+    color = "white"
+    cic;
+    cic_proof_checking;
+    getter;
+    metadata;
+    urimanager;
+    whelp;
+    library;
+    cic_acic;
+  }
+  subgraph cluster_utilities {
+    label = "Utilities\n2.8 klocs";
+    labelloc = "b";
+    labeljust = "r";
+    style = "filled";
+    color = "white"
+    extlib;
+    hgdome;
+    hmysql;
+    registry;
+    utf8_macros;
+    xml;
+    logger;
+  }
+  /* apps */
+  subgraph applications {
+    node [shape=plaintext,style=filled,fillcolor=slategray2];
+    DependencyAnalyzer [label="Dependency\nAnalyzer\n 0.3 klocs"];
+    Getter [label="Getter\n 0.3 klocs"];
+    Matita [label="Matita\n 6.7 klocs"];
+    ProofChecker [label="Proof Checker\n 0.1 klocs"];
+    Uwobo [label="Uwobo\n 2.1 klocs"];
+    Whelp [label="Whelp\n 0.6 klocs"];
+  }
+  /* apps dep */
+  DependencyAnalyzer -> metadata;
+  Getter -> getter;
+  Matita -> grafite_engine;
+  Matita -> grafite_parser;
+  Matita -> hgdome;
+  ProofChecker -> cic_proof_checking;
+  Uwobo -> content_pres;
+  Whelp -> grafite_parser;
+  xml [label="xml\n0.5 klocs"];
+  whelp [label="whelp\n0.3 klocs"];
+  utf8_macros [label="utf8_macros\n0.2 klocs"];
+  urimanager [label="urimanager\n0.2 klocs"];
+  tactics [label="tactics\n10.0 klocs"];
+  registry [label="registry\n0.6 klocs"];
+  metadata [label="metadata\n1.9 klocs"];
+  logger [label="logger\n0.1 klocs"];
+  library [label="library\n2.1 klocs"];
+  lexicon [label="lexicon\n0.8 klocs"];
+  hmysql [label="hmysql\n0.1 klocs"];
+  hgdome [label="hgdome\n0.2 klocs"];
+  grafite_parser [label="grafite_parser\n1.8 klocs"];
+  grafite [label="grafite\n0.5 klocs"];
+  grafite_engine [label="grafite_engine\n1.2 klocs"];
+  getter [label="getter\n2.0 klocs"];
+  extlib [label="extlib\n1.1 klocs"];
+  content_pres [label="content_pres\n4.5 klocs"];
+  cic_unification [label="cic_unification\n3.4 klocs"];
+  cic_proof_checking [label="cic_proof_checking\n5.8 klocs"];
+  cic [label="cic\n4.2 klocs"];
+  cic_disambiguation [label="cic_disambiguation\n1.4 klocs"];
+  cic_acic [label="cic_acic\n2.4 klocs"];
+  acic_content [label="acic_content\n3.6 klocs"];
+   rankdir = TB ;
+"grafite_parser" -> "grafite";
+"grafite_parser" -> "lexicon";
+"grafite_engine" -> "tactics";
+"grafite_engine" -> "grafite";
+"lexicon" -> "cic_disambiguation";
+"lexicon" -> "content_pres";
+"cic_disambiguation" -> "cic_unification";
+"cic_disambiguation" -> "acic_content";
+"cic_disambiguation" -> "whelp";
+"tactics" -> "whelp";
+"tactics" -> "cic_unification";
+"whelp" -> "metadata";
+"cic_unification" -> "library";
+"library" -> "metadata";
+"library" -> "cic_acic";
+"metadata" -> "cic";
+"metadata" -> "hmysql";
+"grafite" -> "cic";
+"content_pres" -> "utf8_macros";
+"content_pres" -> "acic_content";
+"acic_content" -> "cic_acic";
+"cic_acic" -> "cic_proof_checking";
+"cic_proof_checking" -> "getter";
+"cic_proof_checking" -> "cic";
+"cic" -> "xml";
+"cic" -> "urimanager";
+"getter" -> "registry";
+"getter" -> "urimanager";
+"getter" -> "logger";
+"hmysql" -> "registry";
+"registry" -> "xml";
+"hgdome" -> "xml";
+"xml" -> "extlib";
+}