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_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     paramodulation;
  27     grafite;
  28     grafite_engine;
  29   }
  30   subgraph cluster_fully {
  31     label = "Fully specified terms";
  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";
  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   }