]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/papers/use_case/stats/mkhtml.xsl
* output of XML file size
[helm.git] / helm / papers / use_case / stats / mkhtml.xsl
index 643d485a3df0dbfe77cc19eac22a76635b3837f0..b372db3fa10e014669ab8fe08afca61b894607ef 100644 (file)
@@ -15,6 +15,7 @@
         <tr>
          <th>N</th>
          <th>Nodes</th>
+         <th>Size (bytes)</th>
          <th>Inner nodes/Leaf elements/Text nodes</th>
          <th>Depth (max/leaf avg)</th>
          <th>Width (max/inner avg)</th>
@@ -34,6 +35,9 @@
     <td align="left">
       <xsl:value-of select="position()"/>
     </td>
+    <td align="left">
+      <xsl:value-of select="size"/>
+    </td>
     <td align="left">
       <xsl:value-of select="number(elements/total) + number(text-nodes/total)"/>
     </td>