From 27966c28f0c6b502612ea68ae815abb8573bcc77 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 10 Dec 2004 18:24:15 +0000 Subject: [PATCH] * src/tgbaalgos/gtec/nsheap.hh (numbered_state_heap::find): Clarify comment. --- ChangeLog | 8 ++++++++ src/tgbaalgos/gtec/nsheap.hh | 6 +++--- 2 files changed, 11 insertions(+), 3 deletions(-) diff --git a/ChangeLog b/ChangeLog index 48afca764..1f844d16b 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,11 @@ +2004-12-10 Alexandre Duret-Lutz + + * src/tgbaalgos/gtec/nsheap.hh (numbered_state_heap::find): Clarify + comment. + + * src/tgba/tgbareduc.hh: Include tgbaalgos/gtec/nsheap.hh, + not tgbaalgos/gtec/status.hh. + 2004-12-10 Denis Poitrenaud * src/misc/timer.cc, src/tgbatest/randtgba.cc: Format the statistics. diff --git a/src/tgbaalgos/gtec/nsheap.hh b/src/tgbaalgos/gtec/nsheap.hh index 4f3134667..49b900a9b 100644 --- a/src/tgbaalgos/gtec/nsheap.hh +++ b/src/tgbaalgos/gtec/nsheap.hh @@ -60,10 +60,10 @@ namespace spot /// /// Returns a pair (0,0) if \a s is not in the heap. /// or a pair (p, i) if there is a clone \a p of \a s \a i - /// in the heap with index. \a s will be freed if it is - /// different of \a p. + /// in the heap with index. If \a s is in the heap and is different + /// from \a p it will be freed. /// - /// There are called by the algorithm to check whether a + /// These functions are called by the algorithm to check whether a /// successor is a new state to explore or an already visited /// state. ///