]> matita.cs.unibo.it Git - helm.git/blob - helm/papers/matita/pics/libraries-clusters.dot
Typos
[helm.git] / 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 }