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

sccinfo: fix doc

Browse source 
* spot/twaalgos/sccinfo.hh (scc_info_options::NONE): Fix doxygen doc.
This commit is contained in:
Alexandre Duret-Lutz 2020-05-29 17:14:17 +02:00
parent 9150a2e54b
commit d76236a03f
1 changed files with 4 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

7
spot/twaalgos/sccinfo.hh
View file

@ -1,5 +1,5 @@
// -*- coding: utf-8 -*- // -*- coding: utf-8 -*-
// Copyright (C) 2014-2019 Laboratoire de Recherche et Développement // Copyright (C) 2014-2020 Laboratoire de Recherche et Développement
// de l'Epita (LRDE). // de l'Epita (LRDE).
// //
// This file is part of Spot, a model checking library. // This file is part of Spot, a model checking library.
@ -304,8 +304,9 @@ namespace spot
/// \brief Options to alter the behavior of scc_info /// \brief Options to alter the behavior of scc_info
enum class scc_info_options enum class scc_info_options
{ {
/// Stop exploring when an accepting SCC is found, and do not track /// Explore all SCCs, but do not track the states of each SCC and
/// the states of each SCC. /// the successor SCC of each SCC. This is enough to call the
/// scc_of() method.
NONE = 0, NONE = 0,
/// Stop exploring after an accepting SCC has been found. /// Stop exploring after an accepting SCC has been found.
/// Using this option forbids future uses of is_useful_scc() and /// Using this option forbids future uses of is_useful_scc() and