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

doc: fix some doxygen commands

Browse source 
* spot/twaalgos/iscolored.hh, spot/twaalgos/parity.hh: Here.
This commit is contained in:
Alexandre Duret-Lutz 2017-11-01 10:40:41 +01:00
parent 6459877a1a
commit 679fdfd853
2 changed files with 6 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

3
spot/twaalgos/iscolored.hh
View file

@ -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

7
spot/twaalgos/parity.hh
View file

@ -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
{