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

* src/tgbaalgos/gtec/nsheap.hh (numbered_state_heap::find): Clarify

Browse source 
comment.
This commit is contained in:
Alexandre Duret-Lutz 2004-12-10 18:24:15 +00:00
parent 3763c2c16b
commit 27966c28f0
2 changed files with 11 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

8
ChangeLog
View file

@ -1,3 +1,11 @@
2004-12-10 Alexandre Duret-Lutz <adl@src.lip6.fr>
* 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 <Denis.Poitrenaud@lip6.fr> 2004-12-10 Denis Poitrenaud <Denis.Poitrenaud@lip6.fr>
* src/misc/timer.cc, src/tgbatest/randtgba.cc: Format the statistics. * src/misc/timer.cc, src/tgbatest/randtgba.cc: Format the statistics.

6
src/tgbaalgos/gtec/nsheap.hh
View file

@ -60,10 +60,10 @@ namespace spot
/// ///
/// Returns a pair (0,0) if \a s is not in the heap. /// 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 /// 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 /// in the heap with index. If \a s is in the heap and is different
/// different of \a p. /// 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 /// successor is a new state to explore or an already visited
/// state. /// state.
/// ///