From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 25 Oct 2001 10:54:43 +0000 (+0000)
Subject: A -> B now means "A depends on B" both in backward and forward graphs
X-Git-Tag: v0_1_3~37
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=536604ccbc718b858891e81bda19439251e3814d;p=helm.git

A -> B now means "A depends on B" both in backward and forward graphs
---

diff --git a/helm/style/mk_dep_graph.xsl b/helm/style/mk_dep_graph.xsl
index e95d88818..4289996ce 100644
--- a/helm/style/mk_dep_graph.xsl
+++ b/helm/style/mk_dep_graph.xsl
@@ -27,6 +27,7 @@
 <xsl:stylesheet version="0.1" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
 
  <xsl:variable name="base_RDF_URI" select="'helm:rdf:www.cs.unibo.it/helm/rdf/forward//'"/>
+ <xsl:variable name="link_direction" select="''"/>
 
  <xsl:import href="mk_meta_and_dep_graph.xsl"/>
 
diff --git a/helm/style/mk_meta_and_dep_graph.xsl b/helm/style/mk_meta_and_dep_graph.xsl
index 1ab286340..4415ca90a 100644
--- a/helm/style/mk_meta_and_dep_graph.xsl
+++ b/helm/style/mk_meta_and_dep_graph.xsl
@@ -262,6 +262,7 @@
    <xsl:value-of select="$quotedCurrentCICURI"/>
    <xsl:text> -&gt; </xsl:text>
    <xsl:value-of select="$quotedURI"/>
+   <xsl:value-of select="$link_direction"/>
    <xsl:text>;&CSCbr;</xsl:text>
   </xsl:if>
  </xsl:for-each>
diff --git a/helm/style/mk_meta_graph.xsl b/helm/style/mk_meta_graph.xsl
index 2747c8da1..16840046e 100644
--- a/helm/style/mk_meta_graph.xsl
+++ b/helm/style/mk_meta_graph.xsl
@@ -27,6 +27,7 @@
 <xsl:stylesheet version="0.1" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
 
  <xsl:variable name="base_RDF_URI" select="'helm:rdf:www.cs.unibo.it/helm/rdf/backward//'"/>
+ <xsl:variable name="link_direction" select="' [dir=back]'"/>
 
  <xsl:import href="mk_meta_and_dep_graph.xsl"/>