diff --git a/ChangeLog b/ChangeLog index f8cdb80c0..62ad78964 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2010-11-24 Alexandre Duret-Lutz + + * src/tgbaalgos/sccfilter.hh: Fix some typos in the documentation. + 2010-11-24 Alexandre Duret-Lutz Suggest using bddtrue and bddfalse instead of bdd_true() and diff --git a/src/tgbaalgos/sccfilter.hh b/src/tgbaalgos/sccfilter.hh index 47822080c..af3bee0c1 100644 --- a/src/tgbaalgos/sccfilter.hh +++ b/src/tgbaalgos/sccfilter.hh @@ -29,23 +29,23 @@ namespace spot /// \brief Prune unaccepting SCCs and remove superfluous acceptance /// conditions. /// - /// This functions will explore the SCCs of the automaton and remove - /// dead SCCs (unaccepting, and with no exit path leading to an - /// accepting SCC). + /// This function will explore the SCCs of the automaton and remove + /// dead SCCs (i.e. SCC that are not accepting, and those with no + /// exit path leading to an accepting SCC). /// /// Additionally, this will try to remove useless acceptance /// conditions. This operation may diminish the number of - /// acceptance condition of the automaton, for instance when two - /// acceptance conditions are always used together we only keep one - /// (but it will never remove all acceptance conditions, even if it - /// would be OK to have zero). + /// acceptance condition of the automaton (for instance when two + /// acceptance conditions are always used together we only keep one) + /// but it will never remove all acceptance conditions, even if it + /// would be OK to have zero. /// /// Acceptance conditions on transitions going to non-accepting SCC /// are all removed. Acceptance conditions going to an accepting /// SCC and coming from another SCC are only removed if \a /// remove_all_useless is set. The default value of \a /// remove_all_useless is \c false because some algorithms (like the - /// degeneralization) will work better if transition going to an + /// degeneralization) will work better if transitions going to an /// accepting SCC are accepting. tgba* scc_filter(const tgba* aut, bool remove_all_useless = false);