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

work around Doxygen limitation

Browse source 
* spot/twa/twa.hh: Undocument the deprecated version of
intersecting_run() to avoid an issue with Doxygen.  Reported by Juraj
Major.
This commit is contained in:
Alexandre Duret-Lutz 2020-04-15 21:22:57 +02:00
parent 8cea82f5c6
commit d8506ded52
1 changed files with 8 additions and 18 deletions
Download patch file Download diff file Expand all files Collapse all files

26
spot/twa/twa.hh
View file

@ -1,5 +1,5 @@
// -*- coding: utf-8 -*- // -*- coding: utf-8 -*-
// Copyright (C) 2009, 2011, 2013-2019 Laboratoire de Recherche et // Copyright (C) 2009, 2011, 2013-2020 Laboratoire de Recherche et
// Développement de l'Epita (LRDE). // Développement de l'Epita (LRDE).
// Copyright (C) 2003-2005 Laboratoire d'Informatique de Paris 6 // Copyright (C) 2003-2005 Laboratoire d'Informatique de Paris 6
// (LIP6), département Systèmes Répartis Coopératifs (SRC), Université // (LIP6), département Systèmes Répartis Coopératifs (SRC), Université
@ -881,23 +881,13 @@ namespace spot
/// this case an explicit product is performed. /// this case an explicit product is performed.
virtual twa_run_ptr intersecting_run(const_twa_ptr other) const; virtual twa_run_ptr intersecting_run(const_twa_ptr other) const;
/// \brief Return an accepting run recognizing a word accepted by // (undocumented)
/// two automata. //
/// // If \a from_other is true, the returned run will be over the
/// If \a from_other is true, the returned run will be over the // \a other automaton. Otherwise, the run will be over this
/// \a other automaton. Otherwise, the run will be over this // automaton.
/// automaton. //
/// // This function was deprecated in Spot 2.8.
/// This form is deprecated. Replace a->interesecting_run(b, true)
/// by b->intersecting_run(a).
///
/// Return nullptr if no accepting run were found.
///
/// An emptiness check is performed on a product computed
/// on-the-fly, unless some of the operands use Fin-acceptance: in
/// this case an explicit product is performed.
///
/// This function was deprecated in Spot 2.8.
SPOT_DEPRECATED("replace a->intersecting_run(b, true) " SPOT_DEPRECATED("replace a->intersecting_run(b, true) "
"by b->intersecting_run(a).") "by b->intersecting_run(a).")
twa_run_ptr intersecting_run(const_twa_ptr other, twa_run_ptr intersecting_run(const_twa_ptr other,