]> matita.cs.unibo.it Git - helm.git/blob - components/STATS/clusters.dot
tagged 0.5.0-rc1
[helm.git] / components / STATS / clusters.dot
1 //   clusterrank = none;
2   fillcolor = "gray93";
3   fontsize = 24;
4   node [fontsize = 24];
5   /* libs clusters */
6   subgraph cluster_presentation {
7     label = "Terms at the content and presentation level";
8     labelloc = "b";
9     labeljust = "r";
10     style = "filled";
11     color = "white"
12     acic_content;
13     cic_disambiguation;
14     content_pres;
15     grafite_parser;
16     lexicon;
17   }
18   subgraph cluster_partially {
19     label = "Partially specified terms";
20     labelloc = "t";
21     labeljust = "l";
22     style = "filled";
23     color = "white"
24     cic_unification;
25     tactics;
26     grafite;
27     grafite_engine;
28   }
29   subgraph cluster_fully {
30     label = "Fully specified terms";
31     labelloc = "b";
32     labeljust = "l";
33     style = "filled";
34     color = "white"
35     cic;
36     cic_proof_checking;
37     getter;
38     metadata;
39     urimanager;
40     whelp;
41     library;
42     cic_acic;
43   }
44   subgraph cluster_utilities {
45     label = "Utilities";
46     labelloc = "b";
47     labeljust = "r";
48     style = "filled";
49     color = "white"
50     extlib;
51     hgdome;
52     hmysql;
53     registry;
54     utf8_macros;
55     xml;
56     logger;
57   }