+++ /dev/null
-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";
-}