* src/tgba/tgba.hh (tgba::succ_iter): Doco.

* src/tgba/tgbatba.hh (tgba_tba_proxy::state_is_accepting): Document
it.
Reported by Denis Poitrenaud.

ChangeLog

@@ -1,3 +1,10 @@
+2004-04-20  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* src/tgba/tgba.hh (tgba::succ_iter): Doco.
+	* src/tgba/tgbatba.hh (tgba_tba_proxy::state_is_accepting): Document
+	it.
+	Reported by Denis Poitrenaud.
+
 2004-04-17  Alexandre Duret-Lutz  <adl@gnu.org>
 
 	* iface/gspn/ltlgspn.cc (main) [SSP]: Use the standard

src/tgba/tgba.hh

@@ -1,4 +1,4 @@
-// Copyright (C) 2003  Laboratoire d'Informatique de Paris 6 (LIP6),
+// Copyright (C) 2003, 2004  Laboratoire d'Informatique de Paris 6 (LIP6),
 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
 //
@@ -87,7 +87,7 @@ namespace spot
     /// \param global_state In a product, the state of the global
     /// product automaton.  Otherwise, 0.  Like \a locale_state,
     /// \a global_state is not adopted by \c succ_iter.
-    /// \param global_automaton In a product, the state of the global
+    /// \param global_automaton In a product, the global
     /// product automaton.  Otherwise, 0.
     virtual tgba_succ_iterator*
     succ_iter(const state* local_state,

src/tgba/tgbatba.hh

@@ -68,6 +68,14 @@ namespace spot
     virtual bdd all_acceptance_conditions() const;
     virtual bdd neg_acceptance_conditions() const;
 
+    /// \brief Whether the state is accepting.
+    ///
+    /// A particularity of a spot::tgba_tba_proxy automaton is that
+    /// when a state has an outgoing accepting arc, all its outgoing
+    /// arcs are accepting.  The state itself can therefore be
+    /// considered accepting.  This is useful to many algorithms
+    /// working on degeneralized automata with state acceptance
+    /// conditions.
     bool state_is_accepting(const state* state) const;
 
     typedef std::list<bdd> cycle_list;