* src/tgba/tgbatba.cc (tgba_tba_proxy::format_state): Use

bdd_format_accset to print the acceptance condition part of the state.
That produces more readable output.

ChangeLog

 2004-06-23  Alexandre Duret-Lutz  <adl@gnu.org>
 
+	* src/tgba/tgbatba.cc (tgba_tba_proxy::format_state): Use
+	bdd_format_accset to print the acceptance condition part of the state.
+	That produces more readable output.
+
 	* wrap/python/cgi/ltl2tgba.in: Add "Formula Simplications" options.
 	* wrap/python/spot.i: Wrap src/ltlvisite/reduce.hh.
 

src/tgba/tgbatba.cc

@@ -258,8 +258,10 @@ namespace spot
   {
     const state_tba_proxy* s = dynamic_cast<const state_tba_proxy*>(state);
     assert(s);
-    return a_->format_state(s->real_state()) + "("
-      + bdd_format_set(get_dict(), s->acceptance_cond()) + ")";
+    std::string a = bdd_format_accset(get_dict(), s->acceptance_cond());
+    if (a != "")
+      a = " " + a;
+    return a_->format_state(s->real_state()) + a;
   }
 
   state*