From 8c829cf3e18ff38599d0da61f49372ee9edb15b4 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 27 Feb 2008 16:14:45 +0100 Subject: [PATCH] * src/tgbaalgos/reachiter.hh: Typos in comments. --- ChangeLog | 4 ++++ src/tgbaalgos/reachiter.hh | 10 +++++----- 2 files changed, 9 insertions(+), 5 deletions(-) diff --git a/ChangeLog b/ChangeLog index e5dc67cee..1d438778d 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2008-02-27 Alexandre Duret-Lutz + + * src/tgbaalgos/reachiter.hh: Typos in comments. + 2008-02-22 Alexandre Duret-Lutz * src/tgba/tgbabddconcretefactory.hh (create_state): diff --git a/src/tgbaalgos/reachiter.hh b/src/tgbaalgos/reachiter.hh index e86eee090..258fa57f2 100644 --- a/src/tgbaalgos/reachiter.hh +++ b/src/tgbaalgos/reachiter.hh @@ -1,6 +1,6 @@ -// 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. +// Copyright (C) 2003, 2004, 2008 Laboratoire d'Informatique de Paris 6 +// (LIP6), département Systèmes Répartis Coopératifs (SRC), Université +// Pierre et Marie Curie. // // 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(), /// start(), end(), process_state(), and process_link(), while it - /// iterate over state. + /// iterates over states. void run(); /// \name Todo list management. @@ -52,7 +52,7 @@ namespace spot /// \{ /// \brief Called by run() to register newly discovered states. 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; /// \}