From f16bc8a58b135982210978c9e8126f9c72af4610 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 29 May 2020 17:14:17 +0200 Subject: [PATCH] sccinfo: fix doc * spot/twaalgos/sccinfo.hh (scc_info_options::NONE): Fix doxygen doc. --- spot/twaalgos/sccinfo.hh | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/spot/twaalgos/sccinfo.hh b/spot/twaalgos/sccinfo.hh index ff10c9d89..3c31c3dcd 100644 --- a/spot/twaalgos/sccinfo.hh +++ b/spot/twaalgos/sccinfo.hh @@ -1,5 +1,5 @@ // -*- 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). // // 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 enum class scc_info_options { - /// Stop exploring when an accepting SCC is found, and do not track - /// the states of each SCC. + /// Explore all SCCs, but do not track the states of each SCC and + /// the successor SCC of each SCC. This is enough to call the + /// scc_of() method. NONE = 0, /// Stop exploring after an accepting SCC has been found. /// Using this option forbids future uses of is_useful_scc() and