X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fuse_case%2Fstats%2Fmkhtml.xsl;h=a61576aecfa3cca7d248d9549faccaf00f59d8e9;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=643d485a3df0dbfe77cc19eac22a76635b3837f0;hpb=7d5ec74ada917be3e660b70281c0b262316a5634;p=helm.git

diff --git a/helm/papers/use_case/stats/mkhtml.xsl b/helm/papers/use_case/stats/mkhtml.xsl
index 643d485a3..a61576aec 100644
--- a/helm/papers/use_case/stats/mkhtml.xsl
+++ b/helm/papers/use_case/stats/mkhtml.xsl
@@ -14,15 +14,22 @@
       <table border="1">
         <tr>
 	  <th>N</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>Size (bytes)</th>
+	  <th>Elements</th>
+	  <th>Max depth</th>
+	  <!--
+	  <th>Text nodes</th>
+	  <th>Total nodes</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">
-	  <xsl:sort order="descending" data-type="number" select="number(elements/total) + number(text-nodes/total)"/>
+	  <xsl:sort order="descending" data-type="number" select="number(elements/total)"/>
 	</xsl:apply-templates>
       </table>
     </body>
@@ -35,30 +42,37 @@
       <xsl:value-of select="position()"/>
     </td>
     <td align="left">
-      <xsl:value-of select="number(elements/total) + number(text-nodes/total)"/>
+      <xsl:value-of select="size"/>
     </td>
     <td align="left">
-      <xsl:value-of select="number(elements/total) - number(elements/leaf)"/>
-      <xsl:text>/</xsl:text>
-      <xsl:value-of select="number(elements/leaf)"/>
-      <xsl:text>/</xsl:text>
-      <xsl:value-of select="number(text-nodes/total)"/>
+      <xsl:value-of select="number(elements/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="number(text-nodes/total)"/>
+    </td>
+    <td align="left">
+      <xsl:value-of select="number(elements/total) + number(text-nodes/total)"/>
+    </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"/>
     </th>