From: Kim Nguyễn <kn@lri.fr>
Date: Sun, 18 Aug 2013 10:18:26 +0000 (+0200)
Subject: Also print the number of states when printing automata.
X-Git-Tag: v0.1~44
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=da84ba92e452d4d2a3eaf89f7638db25a7f84909

Also print the number of states when printing automata.
---

diff --git a/src/ata.ml b/src/ata.ml
index 5e28a54..a4ea306 100644
--- 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 =