+++ /dev/null
-digraph G {
-// clusterrank = none;
- fillcolor = "gray93";
- fontsize = 24;
- node [fontsize = 24];
- /* libs clusters */
- subgraph cluster_presentation {
- label = "Terms at the content and presentation level";
- labelloc = "b";
- labeljust = "r";
- style = "filled";
- color = "white"
- acic_content;
- cic_acic;
- cic_disambiguation;
- content_pres;
- grafite;
- }
- subgraph cluster_partially {
- label = "Partially specified terms";
- labelloc = "t";
- labeljust = "l";
- style = "filled";
- color = "white"
- cic_unification;
- tactics;
- paramodulation;
- }
- subgraph cluster_fully {
- label = "Fully specified terms";
- labelloc = "b";
- labeljust = "l";
- style = "filled";
- color = "white"
- cic;
- cic_proof_checking;
- getter;
- metadata;
- urimanager;
- whelp;
- }
- subgraph cluster_utilities {
- label = "Utilities";
- labelloc = "b";
- labeljust = "r";
- style = "filled";
- color = "white"
- extlib;
- hgdome;
- hmysql;
- registry;
-// utf8_macros;
- xml;
- }
- /* libs */
- paramodulation -> tactics;
- cic_disambiguation -> cic_unification;
- cic_disambiguation -> acic_content;
- cic_disambiguation -> whelp;
- tactics -> whelp;
- tactics -> cic_unification;
- whelp -> metadata;
- metadata -> cic;
- metadata -> getter;
- metadata -> hmysql;
- grafite -> content_pres;
-// content_pres -> utf8_macros;
- content_pres -> acic_content;
- acic_content -> cic_acic;
- cic_acic -> cic_proof_checking;
- cic_unification -> cic_proof_checking;
- cic_proof_checking -> getter;
- cic_proof_checking -> cic;
- cic -> xml;
- cic -> urimanager;
- getter -> registry;
- getter -> urimanager;
- hmysql -> registry;
- registry -> xml;
- hgdome -> xml;
- xml -> extlib;
- /* apps */
- subgraph applications {
- node [shape=plaintext,style=filled,fillcolor=slategray2];
- DependencyAnalyzer [label="Dependency\nAnalyzer"];
- Getter;
- Matita;
- ProofChecker [label="Proof\nChecker"];
- Uwobo;
- Whelp;
- }
- /* apps dep */
- DependencyAnalyzer -> metadata;
- Getter -> getter;
- Matita -> cic_disambiguation;
- Matita -> grafite;
- Matita -> hgdome;
- Matita -> paramodulation;
- ProofChecker -> cic_proof_checking;
- Uwobo -> content_pres;
- Whelp -> cic_disambiguation;
- Whelp -> content_pres;
-}