helm/papers/matita/libraries.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";
   9     rank = min;
  10     labelloc = "b";
  11     labeljust = "r";
  12     style = "filled";
  13     color = "white"
  14     acic_content;
  15     cic_acic;
  16     cic_disambiguation;
  17     content_pres;
  18     grafite;
  19   }
  20   subgraph cluster_partially {
  21     label = "Partially specified terms";
  22     labelloc = "t";
  23     labeljust = "l";
  24     style = "filled";
  25     color = "white"
  26     cic_unification;
  27     tactics;
  28     paramodulation;
  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   }
  43   subgraph cluster_utilities {
  44     label = "Utilities";
  45     rank = max;
  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   }
  57   /* libs */
  58   paramodulation -> tactics;
  59   cic_disambiguation -> cic_unification;
  60   cic_disambiguation -> acic_content;
  61   cic_disambiguation -> whelp;
  62   tactics -> whelp;
  63   tactics -> cic_unification;
  64   whelp -> metadata;
  65   metadata -> cic;
  66   metadata -> getter;
  67   metadata -> hmysql;
  68   grafite -> content_pres;
  69   content_pres -> utf8_macros;
  70   content_pres -> acic_content;
  71   acic_content -> cic_acic;
  72   cic_acic -> cic_proof_checking;
  73   cic_unification -> cic_proof_checking;
  74   cic_proof_checking -> getter;
  75   cic_proof_checking -> cic;
  76   cic -> xml;
  77   cic -> urimanager;
  78   getter -> registry;
  79   getter -> urimanager;
  80   hmysql -> registry;
  81   registry -> xml;
  82   hgdome -> xml;
  83   xml -> extlib;
  84   /* apps */
  85   subgraph applications {
  86     node [shape=plaintext,style=filled,fillcolor=slategray2];
  87     DrawGraph;
  88     Getter;
  89     Matita;
  90     ProofChecker;
  91     Uwobo;
  92     Whelp;
  93   }
  94   /* apps dep */
  95   DrawGraph -> getter;
  96   Getter -> getter;
  97   Matita -> cic_disambiguation;
  98   Matita -> tactics;
  99   ProofChecker -> cic_proof_checking;
 100   Uwobo -> acic_content;
 101   Uwobo -> content_pres;
 102   Whelp -> cic_disambiguation;
 103   Whelp -> whelp;
 104 }