alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* src/tgbaalgos/bfssteps.hh (bfs_steps::finalize): Document.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2005-01-03 14:20:08 +00:00
parent ca2fe6c711
commit 6feb92090d
2 changed files with 14 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

2
ChangeLog
View file

@ -1,5 +1,7 @@
2005-01-03 Alexandre Duret-Lutz <adl@src.lip6.fr> 2005-01-03 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/tgbaalgos/bfssteps.hh (bfs_steps::finalize): Document.
* src/tgbaalgos/emptiness_stats.hh (accs_statistics): New class. * src/tgbaalgos/emptiness_stats.hh (accs_statistics): New class.
* src/tgbaalgos/gtec/ce.cc, src/tgbaalgos/gtec/ce.hh * src/tgbaalgos/gtec/ce.cc, src/tgbaalgos/gtec/ce.hh
(couvreur99_check_result): Inherit from acss_statistics. (couvreur99_check_result): Inherit from acss_statistics.

19
src/tgbaalgos/bfssteps.hh
View file

@ -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 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
// et Marie Curie. // et Marie Curie.
// //
@ -85,12 +85,17 @@ namespace spot
/// transition. /// transition.
virtual bool match(tgba_run::step& step, const state* dest) = 0; virtual bool match(tgba_run::step& step, const state* dest) = 0;
virtual void finalize(const std::map<const state*, /// \brief Append the resulting path to the resulting run.
tgba_run::step, ///
state_ptr_less_than>& father, /// This is called after match() has returned true, to append the
const tgba_run::step& s, /// resulting path to \a l. This seldom needs to be overridden,
const state* start, /// unless you do not want \a l to be updated (in which case an empty
tgba_run::steps& l); /// finalize() will do).
virtual void finalize(const std::map<const state*, tgba_run::step,
state_ptr_less_than>& father,
const tgba_run::step& s,
const state* start,
tgba_run::steps& l);
protected: protected:
const tgba* a_; ///< The spot::tgba we are searching into. const tgba* a_; ///< The spot::tgba we are searching into.