Commit a1becc1e authored by bguillaum's avatar bguillaum
Browse files

No ambiguity table in html output if all modules are confluent

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/semagramme/libcaml-grew/trunk@7844 7838e531-6607-4d57-9587-6c381814729c
parent 8c86451e
...@@ -904,8 +904,9 @@ module Corpus_stat = struct ...@@ -904,8 +904,9 @@ module Corpus_stat = struct
) t.modules; ) t.modules;
(* add a subtable for sentence ambiguity *) (* add a subtable for sentence ambiguity *)
if not (IntMap.is_empty t.amb) if (List.for_all (fun m -> m.Modul.confluent) t.modules) || (IntMap.is_empty t.amb)
then then ()
else
begin begin
wnl "<tr><td colspan=5><h6>Rewriting ambiguity</h6></td></tr>"; wnl "<tr><td colspan=5><h6>Rewriting ambiguity</h6></td></tr>";
wnl "<tr><th class=\"first\" >Number of normal forms</th><th colspan=2 width=20>#files</th><th >Ratio</th><th>Files</th></tr>"; wnl "<tr><th class=\"first\" >Number of normal forms</th><th colspan=2 width=20>#files</th><th >Ratio</th><th>Files</th></tr>";
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment