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

* src/tgbaalgos/reachiter.hh: Typos in comments.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2008-02-27 16:14:45 +01:00
parent cc9c08b6cf
commit 8c829cf3e1
2 changed files with 9 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ChangeLog
View file

@ -1,3 +1,7 @@
2008-02-27 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* src/tgbaalgos/reachiter.hh: Typos in comments.
2008-02-22 Alexandre Duret-Lutz <adl@lrde.epita.fr> 2008-02-22 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* src/tgba/tgbabddconcretefactory.hh (create_state): * src/tgba/tgbabddconcretefactory.hh (create_state):

10
src/tgbaalgos/reachiter.hh
View file

@ -1,6 +1,6 @@
// Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6), // Copyright (C) 2003, 2004, 2008 Laboratoire d'Informatique de Paris 6
// département Systèmes Répartis Coopératifs (SRC), Université Pierre // (LIP6), département Systèmes Répartis Coopératifs (SRC), Université
// et Marie Curie. // Pierre et Marie Curie.
// //
// This file is part of Spot, a model checking library. // This file is part of Spot, a model checking library.
// //
@ -41,7 +41,7 @@ namespace spot
/// ///
/// This is a template method that will call add_state(), next_state(), /// This is a template method that will call add_state(), next_state(),
/// start(), end(), process_state(), and process_link(), while it /// start(), end(), process_state(), and process_link(), while it
/// iterate over state. /// iterates over states.
void run(); void run();
/// \name Todo list management. /// \name Todo list management.
@ -52,7 +52,7 @@ namespace spot
/// \{ /// \{
/// \brief Called by run() to register newly discovered states. /// \brief Called by run() to register newly discovered states.
virtual void add_state(const state* s) = 0; virtual void add_state(const state* s) = 0;
/// \brief Called by run() to obtain the /// \brief Called by run() to obtain the next state to process.
virtual const state* next_state() = 0; virtual const state* next_state() = 0;
/// \} /// \}