diff --git a/ChangeLog b/ChangeLog index e8dfae514..30ac1a064 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,10 @@ +2004-04-20 Alexandre Duret-Lutz + + * 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 * iface/gspn/ltlgspn.cc (main) [SSP]: Use the standard diff --git a/src/tgba/tgba.hh b/src/tgba/tgba.hh index 05fc1cf65..2d4009cfe 100644 --- a/src/tgba/tgba.hh +++ b/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, diff --git a/src/tgba/tgbatba.hh b/src/tgba/tgbatba.hh index 0adf9943e..b19b59234 100644 --- a/src/tgba/tgbatba.hh +++ b/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 cycle_list;