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

* src/tgba/state.hh (state_ptr_equal, state_ptr_hash): Fix Doxygen

Browse source 
example.
This commit is contained in:
Alexandre Duret-Lutz 2004-07-09 15:17:41 +00:00
parent 1aad1ffbfd
commit 844b17a211
2 changed files with 9 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

3
ChangeLog
View file

@ -1,5 +1,8 @@
2004-07-09 Alexandre Duret-Lutz <adl@src.lip6.fr> 2004-07-09 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/tgba/state.hh (state_ptr_equal, state_ptr_hash): Fix Doxygen
example.
* src/tgbaalgos/reductgba_sim.hh (parity_game_graph_delayed, * src/tgbaalgos/reductgba_sim.hh (parity_game_graph_delayed,
reduc_tgba_sim): Fix warnings about Doxygen comment. reduc_tgba_sim): Fix warnings about Doxygen comment.
* src/ltlvisit/reduce.hh (reduce): Likewise. * src/ltlvisit/reduce.hh (reduce): Likewise.

12
src/tgba/state.hh
View file

@ -1,4 +1,4 @@
// Copyright (C) 2003 Laboratoire d'Informatique de Paris 6 (LIP6), // Copyright (C) 2003, 2004 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.
// //
@ -86,7 +86,7 @@ namespace spot
/// // Remember how many times each state has been visited. /// // Remember how many times each state has been visited.
/// std::map<spot::state*, int, spot::state_ptr_less_than> seen; /// std::map<spot::state*, int, spot::state_ptr_less_than> seen;
/// \endcode /// \endcode
struct state_ptr_less_than : struct state_ptr_less_than:
public std::binary_function<const state*, const state*, bool> public std::binary_function<const state*, const state*, bool>
{ {
bool bool
@ -106,10 +106,10 @@ namespace spot
/// a map of \c state*. /// a map of \c state*.
/// \code /// \code
/// // Remember how many times each state has been visited. /// // Remember how many times each state has been visited.
/// Sgi::hash_map<spot::state*, int, spot::state_ptr_less_than, /// Sgi::hash_map<spot::state*, int, spot::state_ptr_hash,
/// spot::state_ptr_equal> seen; /// spot::state_ptr_equal> seen;
/// \endcode /// \endcode
struct state_ptr_equal : struct state_ptr_equal:
public std::binary_function<const state*, const state*, bool> public std::binary_function<const state*, const state*, bool>
{ {
bool bool
@ -129,10 +129,10 @@ namespace spot
/// a map of \c state*. /// a map of \c state*.
/// \code /// \code
/// // Remember how many times each state has been visited. /// // Remember how many times each state has been visited.
/// Sgi::hash_map<spot::state*, int, spot::state_ptr_less_than, /// Sgi::hash_map<spot::state*, int, spot::state_ptr_hash,
/// spot::state_ptr_equal> seen; /// spot::state_ptr_equal> seen;
/// \endcode /// \endcode
struct state_ptr_hash : struct state_ptr_hash:
public std::unary_function<const state*, size_t> public std::unary_function<const state*, size_t>
{ {
size_t size_t