/* libs clusters */
subgraph cluster_presentation {
label = "Terms at the content and presentation level";
- rank = min;
labelloc = "b";
labeljust = "r";
style = "filled";
}
subgraph cluster_utilities {
label = "Utilities";
- rank = max;
labelloc = "b";
labeljust = "r";
style = "filled";
hgdome;
hmysql;
registry;
- utf8_macros;
+// utf8_macros;
xml;
}
/* libs */
metadata -> getter;
metadata -> hmysql;
grafite -> content_pres;
- content_pres -> utf8_macros;
+// content_pres -> utf8_macros;
content_pres -> acic_content;
acic_content -> cic_acic;
cic_acic -> cic_proof_checking;
/* apps */
subgraph applications {
node [shape=plaintext,style=filled,fillcolor=slategray2];
- DrawGraph;
+ DependencyAnalyzer [label="Dependency\nAnalyzer"];
Getter;
Matita;
- ProofChecker;
+ ProofChecker [label="Proof\nChecker"];
Uwobo;
Whelp;
}
/* apps dep */
- DrawGraph -> getter;
+ DependencyAnalyzer -> metadata;
Getter -> getter;
Matita -> cic_disambiguation;
- Matita -> tactics;
+ Matita -> grafite;
+ Matita -> hgdome;
+ Matita -> paramodulation;
ProofChecker -> cic_proof_checking;
- Uwobo -> acic_content;
Uwobo -> content_pres;
Whelp -> cic_disambiguation;
- Whelp -> whelp;
+ Whelp -> content_pres;
}