X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fuse_case%2Fstats%2Fmkhtml.xsl;fp=helm%2Fpapers%2Fuse_case%2Fstats%2Fmkhtml.xsl;h=597d15e412ec1ec6ca136945964612b7b889194a;hb=d7377569f9344c57927111f0a256d1fca07f6a4e;hp=a5c163a126a96e88da03ef792d97bd8daea63a99;hpb=1d3009ca459e81c9405ebfd1de8cc81e672b3fdb;p=helm.git

diff --git a/helm/papers/use_case/stats/mkhtml.xsl b/helm/papers/use_case/stats/mkhtml.xsl
index a5c163a12..597d15e41 100644
--- a/helm/papers/use_case/stats/mkhtml.xsl
+++ b/helm/papers/use_case/stats/mkhtml.xsl
@@ -16,10 +16,15 @@
 	  <th>N</th>
 	  <th>Size (bytes)</th>
 	  <th>Nodes</th>
-	  <th>Inner nodes/Leaf elements/Text nodes</th>
-	  <th>Depth (max/leaf avg)</th>
-	  <th>Width (max/inner avg)</th>
-	  <th>Attributes (max/total)</th>
+	  <th>Inner nodes</th>
+	  <th>Leaf elements</th>
+	  <th>Text nodes</th>
+	  <th>Max depth</th>
+	  <th>Leaf avg</th>
+	  <th>Max width</th>
+	  <th>Inner avg width</th>
+	  <th>Max attributes</th>
+	  <th>Total attributes</th>
 	  <th>Object</th>
 	</tr>
         <xsl:apply-templates select="statistics/stats">
@@ -43,28 +48,33 @@
     </td>
     <td align="left">
       <xsl:value-of select="number(elements/total) - number(elements/leaf)"/>
-      <xsl:text>/</xsl:text>
+    </td>
+    <td align="left">
       <xsl:value-of select="number(elements/leaf)"/>
-      <xsl:text>/</xsl:text>
+    </td>
+    <td align="left">
       <xsl:value-of select="number(text-nodes/total)"/>
     </td>
     <td align="left">
       <xsl:value-of select="depth/max"/>
-      <xsl:text>/</xsl:text>
-      <xsl:value-of select="depth/leaf-avg"/>
+    </td>
+    <td align="left">
+      <xsl:value-of select="round(depth/leaf-avg)"/>
     </td>
     <td align="left">
       <xsl:value-of select="width/max"/>
-      <xsl:text>/</xsl:text>
-      <xsl:value-of select="width/inner-avg"/>
+    </td>
+    <td align="left">
+      <xsl:value-of select="round(width/inner-avg)"/>
     </td>
     <td align="left">
       <xsl:value-of select="attributes/max"/>
-      <xsl:text>/</xsl:text>
+    </td>
+    <td align="left">
       <xsl:value-of select="attributes/total"/>
     </td>
     <th align="left">
-      <xsl:value-of select="@for"/>
+      <xsl:value-of select="substring(@for,21)"/>
     </th>
   </tr>
 </xsl:template>