diff --git a/spot/twaalgos/iscolored.hh b/spot/twaalgos/iscolored.hh index fd8fd2eb6..7f53d7990 100644 --- a/spot/twaalgos/iscolored.hh +++ b/spot/twaalgos/iscolored.hh @@ -23,8 +23,7 @@ namespace spot { - /// \addtogroup twa_misc - /// + /// \ingroup parity_algorithms /// \brief Return true iff \a aut is colored /// /// An automaton is colored iff all the transitions belong to exactly one diff --git a/spot/twaalgos/parity.hh b/spot/twaalgos/parity.hh index 5e6e0e6a8..c4eab8814 100644 --- a/spot/twaalgos/parity.hh +++ b/spot/twaalgos/parity.hh @@ -1,5 +1,5 @@ // -*- coding: utf-8 -*- -// Copyright (C) 2016 Laboratoire de Recherche et Développement +// Copyright (C) 2016, 2017 Laboratoire de Recherche et Développement // de l'Epita (LRDE). // // This file is part of Spot, a model checking library. @@ -24,9 +24,12 @@ namespace spot { - /// \addtogroup parity_algorithms Parity algorithms + /// \addtogroup parity_algorithms Algorithms for parity acceptance /// \ingroup twa_algorithms + + /// \ingroup parity_algorithms /// @{ + /// \brief Parity kind type enum parity_kind {