helm/ocaml/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_acic;
  14     cic_disambiguation;
  15     content_pres;
  16     grafite;
  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     paramodulation;
  27   }
  28   subgraph cluster_fully {
  29     label = "Fully specified terms";
  30     labelloc = "b";
  31     labeljust = "l";
  32     style = "filled";
  33     color = "white"
  34     cic;
  35     cic_proof_checking;
  36     getter;
  37     metadata;
  38     urimanager;
  39     whelp;
  40   }
  41   subgraph cluster_utilities {
  42     label = "Utilities";
  43     labelloc = "b";
  44     labeljust = "r";
  45     style = "filled";
  46     color = "white"
  47     extlib;
  48     hgdome;
  49     hmysql;
  50     registry;
  51 //     utf8_macros;
  52     xml;
  53   }