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

cycles: fix documentation.

Browse source 
* src/tgbaalgos/cycles.hh: Fix comments.
This commit is contained in:
Alexandre Duret-Lutz 2013-01-13 22:23:17 +01:00
parent 6a547371d7
commit 5e10057cfc
1 changed files with 7 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

10
src/tgbaalgos/cycles.hh
View file

@ -1,5 +1,6 @@
// Copyright (C) 2012 Laboratoire de Recherche et Developpement de // -*- coding: utf-8 -*-
// l'Epita (LRDE). // Copyright (C) 2012, 2013 Laboratoire de Recherche et Développement
// de l'Epita (LRDE).
// //
// This file is part of Spot, a model checking library. // This file is part of Spot, a model checking library.
// //
@ -108,7 +109,7 @@ namespace spot
hash_type tags_; hash_type tags_;
// A tagged_state s is a state* (s->first) associated to its // A tagged_state s is a state* (s->first) associated to its
// state_info (s->second). We usually handled tagged_state in the // state_info (s->second). We usually handle tagged_state in the
// algorithm to avoid repeated lookup of the state_info data. // algorithm to avoid repeated lookup of the state_info data.
typedef hash_type::iterator tagged_state; typedef hash_type::iterator tagged_state;
@ -155,6 +156,9 @@ namespace spot
/// ///
/// The default implementation, not very useful, will print the /// The default implementation, not very useful, will print the
/// states in the cycle on std::cout. /// states in the cycle on std::cout.
///
/// This method method should return false iff no more cycles need
/// should be enumerated by run().
virtual bool cycle_found(const state* start); virtual bool cycle_found(const state* start);
private: private: