From 6feb92090dc3c6aad6df35f2a84e7666ee9ba51b Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 3 Jan 2005 14:20:08 +0000 Subject: [PATCH] * src/tgbaalgos/bfssteps.hh (bfs_steps::finalize): Document. --- ChangeLog | 2 ++ src/tgbaalgos/bfssteps.hh | 19 ++++++++++++------- 2 files changed, 14 insertions(+), 7 deletions(-) diff --git a/ChangeLog b/ChangeLog index fcac0ef1b..0a0e81e35 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,7 @@ 2005-01-03 Alexandre Duret-Lutz + * src/tgbaalgos/bfssteps.hh (bfs_steps::finalize): Document. + * src/tgbaalgos/emptiness_stats.hh (accs_statistics): New class. * src/tgbaalgos/gtec/ce.cc, src/tgbaalgos/gtec/ce.hh (couvreur99_check_result): Inherit from acss_statistics. diff --git a/src/tgbaalgos/bfssteps.hh b/src/tgbaalgos/bfssteps.hh index 5c4a05b3d..df60354a3 100644 --- a/src/tgbaalgos/bfssteps.hh +++ b/src/tgbaalgos/bfssteps.hh @@ -1,4 +1,4 @@ -// Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2004, 2005 Laboratoire d'Informatique de Paris 6 (LIP6), // département Systèmes Répartis Coopératifs (SRC), Université Pierre // et Marie Curie. // @@ -85,12 +85,17 @@ namespace spot /// transition. virtual bool match(tgba_run::step& step, const state* dest) = 0; - virtual void finalize(const std::map& father, - const tgba_run::step& s, - const state* start, - tgba_run::steps& l); + /// \brief Append the resulting path to the resulting run. + /// + /// This is called after match() has returned true, to append the + /// resulting path to \a l. This seldom needs to be overridden, + /// unless you do not want \a l to be updated (in which case an empty + /// finalize() will do). + virtual void finalize(const std::map& father, + const tgba_run::step& s, + const state* start, + tgba_run::steps& l); protected: const tgba* a_; ///< The spot::tgba we are searching into.