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

More Doxygen fixes.

Browse source 
* src/tgba/tgbakvcomplement.hh: Use \verbatim around the bibtex
entry.
* src/saba/sabacomplementtgba.hh: Use latin1.
This commit is contained in:
Alexandre Duret-Lutz 2010-01-31 18:30:21 +01:00
parent 772c92fc9c
commit c63923fa1a
3 changed files with 15 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

8
ChangeLog
View file

@ -1,3 +1,11 @@
2010-01-31 Alexandre Duret-Lutz <adl@lrde.epita.fr>
More Doxygen fixes.
* src/tgba/tgbakvcomplement.hh: Use \verbatim around the bibtex
entry.
* src/saba/sabacomplementtgba.hh: Use latin1.
2010-01-30 Alexandre Duret-Lutz <adl@lrde.epita.fr> 2010-01-30 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* bench/split-product/Makefile.am (nodist_noinst_DATA): Do not * bench/split-product/Makefile.am (nodist_noinst_DATA): Do not

10
src/saba/sabacomplementtgba.hh
View file

@ -1,4 +1,4 @@
// Copyright (C) 2009 Laboratoire de Recherche et Développement // Copyright (C) 2009, 2010 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.
@ -31,7 +31,7 @@ namespace spot
/// \ingroup saba /// \ingroup saba
/// ///
/// The original TGBA is transformed into a States-based /// The original TGBA is transformed into a States-based
/// Büchi Automaton. /// Büchi Automaton.
/// ///
/// Several techniques are supposed to by applied on the resulting /// Several techniques are supposed to by applied on the resulting
/// automaton before its transformation into a TGBA. Those techniques /// automaton before its transformation into a TGBA. Those techniques
@ -40,13 +40,13 @@ namespace spot
/// This algorithm comes from: /// This algorithm comes from:
/// \verbatim /// \verbatim
/// @Article{ gurumurthy.03.lncs, /// @Article{ gurumurthy.03.lncs,
/// title = {{On complementing nondeterministic Buchi automata}}, /// title = {On complementing nondeterministic {Büchi} automata},
/// author = {Gurumurthy, S. and Kupferman, O. and Somenzi, F. and /// author = {Gurumurthy, S. and Kupferman, O. and Somenzi, F. and
/// Vardi, M.Y.}, /// Vardi, M.Y.},
/// journal = {Lecture notes in computer science}, /// journal = {Lecture Notes in Computer Science},
/// pages = {96--110}, /// pages = {96--110},
/// year = {2003}, /// year = {2003},
/// publisher = {Springer} /// publisher = {Springer-Verlag}
/// } /// }
/// \endverbatim /// \endverbatim
/// ///

2
src/tgba/tgbakvcomplement.hh
View file

@ -65,6 +65,7 @@ namespace spot
/// \ingroup tgba_on_the_fly_algorithms /// \ingroup tgba_on_the_fly_algorithms
/// ///
/// The construction comes from: /// The construction comes from:
/// \verbatim
/// @Article{ kupferman.05.tcs, /// @Article{ kupferman.05.tcs,
/// title = {From complementation to certification}, /// title = {From complementation to certification},
/// author = {Kupferman, O. and Vardi, M.Y.}, /// author = {Kupferman, O. and Vardi, M.Y.},
@ -75,6 +76,7 @@ namespace spot
/// year = {2005}, /// year = {2005},
/// publisher = {Elsevier} /// publisher = {Elsevier}
/// } /// }
/// \endverbatim
/// ///
/// The original automaton is used as a States-based Generalized /// The original automaton is used as a States-based Generalized
/// Büchi Automaton. /// Büchi Automaton.