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