helm/papers/matita/pics/libraries-clusters.dot

   1 digraph G {
   2 //   clusterrank = none;
   3   fillcolor = "gray93";
   4   fontsize = 24;
   5   node [fontsize = 24];
   6   /* libs clusters */
   7   subgraph cluster_presentation {
   8     label = "Terms at the content and presentation level\n12.1 klocs";
   9     labelloc = "b";
  10     labeljust = "r";
  11     style = "filled";
  12     color = "white"
  13     acic_content;
  14     cic_disambiguation;
  15     content_pres;
  16     grafite_parser;
  17     lexicon;
  18   }
  19   subgraph cluster_partially {
  20     label = "Partially specified terms\n15.1 klocs";
  21     labelloc = "t";
  22     labeljust = "l";
  23     style = "filled";
  24     color = "white"
  25     cic_unification;
  26     tactics;
  27     grafite;
  28     grafite_engine;
  29   }
  30   subgraph cluster_fully {
  31     label = "Fully specified terms\n18.9 klocs";
  32     labelloc = "b";
  33     labeljust = "l";
  34     style = "filled";
  35     color = "white"
  36     cic;
  37     cic_proof_checking;
  38     getter;
  39     metadata;
  40     urimanager;
  41     whelp;
  42     library;
  43     cic_acic;
  44   }
  45   subgraph cluster_utilities {
  46     label = "Utilities\n2.8 klocs";
  47     labelloc = "b";
  48     labeljust = "r";
  49     style = "filled";
  50     color = "white"
  51     extlib;
  52     hgdome;
  53     hmysql;
  54     registry;
  55     utf8_macros;
  56     xml;
  57     logger;
  58   }
  59   /* apps */
  60   subgraph applications {
  61     node [shape=plaintext,style=filled,fillcolor=slategray2];
  62     DependencyAnalyzer [label="Dependency\nAnalyzer\n 0.3 klocs"];
  63     Getter [label="Getter\n 0.3 klocs"];
  64     Matita [label="Matita\n 6.7 klocs"];
  65     ProofChecker [label="Proof Checker\n 0.1 klocs"];
  66     Uwobo [label="Uwobo\n 2.1 klocs"];
  67     Whelp [label="Whelp\n 0.6 klocs"];
  68   }
  69   /* apps dep */
  70   DependencyAnalyzer -> metadata;
  71   Getter -> getter;
  72   Matita -> grafite_engine;
  73   Matita -> grafite_parser;
  74   Matita -> hgdome;
  75   ProofChecker -> cic_proof_checking;
  76   Uwobo -> content_pres;
  77   Whelp -> grafite_parser;
  78   xml [label="xml\n0.5 klocs"];
  79   whelp [label="whelp\n0.3 klocs"];
  80   utf8_macros [label="utf8_macros\n0.2 klocs"];
  81   urimanager [label="urimanager\n0.2 klocs"];
  82   tactics [label="tactics\n10.0 klocs"];
  83   registry [label="registry\n0.6 klocs"];
  84   metadata [label="metadata\n1.9 klocs"];
  85   logger [label="logger\n0.1 klocs"];
  86   library [label="library\n2.1 klocs"];
  87   lexicon [label="lexicon\n0.8 klocs"];
  88   hmysql [label="hmysql\n0.1 klocs"];
  89   hgdome [label="hgdome\n0.2 klocs"];
  90   grafite_parser [label="grafite_parser\n1.8 klocs"];
  91   grafite [label="grafite\n0.5 klocs"];
  92   grafite_engine [label="grafite_engine\n1.2 klocs"];
  93   getter [label="getter\n2.0 klocs"];
  94   extlib [label="extlib\n1.1 klocs"];
  95   content_pres [label="content_pres\n4.5 klocs"];
  96   cic_unification [label="cic_unification\n3.4 klocs"];
  97   cic_proof_checking [label="cic_proof_checking\n5.8 klocs"];
  98   cic [label="cic\n4.2 klocs"];
  99   cic_disambiguation [label="cic_disambiguation\n1.4 klocs"];
 100   cic_acic [label="cic_acic\n2.4 klocs"];
 101   acic_content [label="acic_content\n3.6 klocs"];
 102    rankdir = TB ;
 103 "grafite_parser" -> "grafite";
 104 "grafite_parser" -> "lexicon";
 105 "grafite_engine" -> "tactics";
 106 "grafite_engine" -> "grafite";
 107 "lexicon" -> "cic_disambiguation";
 108 "lexicon" -> "content_pres";
 109 "cic_disambiguation" -> "cic_unification";
 110 "cic_disambiguation" -> "acic_content";
 111 "cic_disambiguation" -> "whelp";
 112 "tactics" -> "whelp";
 113 "tactics" -> "cic_unification";
 114 "whelp" -> "metadata";
 115 "cic_unification" -> "library";
 116 "library" -> "metadata";
 117 "library" -> "cic_acic";
 118 "metadata" -> "cic";
 119 "metadata" -> "hmysql";
 120 "grafite" -> "cic";
 121 "content_pres" -> "utf8_macros";
 122 "content_pres" -> "acic_content";
 123 "acic_content" -> "cic_acic";
 124 "cic_acic" -> "cic_proof_checking";
 125 "cic_proof_checking" -> "getter";
 126 "cic_proof_checking" -> "cic";
 127 "cic" -> "xml";
 128 "cic" -> "urimanager";
 129 "getter" -> "registry";
 130 "getter" -> "urimanager";
 131 "getter" -> "logger";
 132 "hmysql" -> "registry";
 133 "registry" -> "xml";
 134 "hgdome" -> "xml";
 135 "xml" -> "extlib";
 136 }