Also print the number of states when printing automata.

[tatoo.git] / src / ata.ml

diff --git a/src/ata.ml b/src/ata.ml
index 5e28a54..a4ea306 100644 (file)
--- a/src/ata.ml
+++ b/src/ata.ml
@@ -175,11 +175,13 @@ let print fmt a =
   fprintf fmt
     "Internal UID: %i@\n\
      States: %a@\n\
+     Number of states: %i@\n\
      Starting states: %a@\n\
      Selection states: %a@\n\
      Alternating transitions:@\n"
     (a.id :> int)
     StateSet.print a.states
+    (StateSet.cardinal a.states)
     StateSet.print a.starting_states
     StateSet.print a.selecting_states;
   let trs =