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

remove obsolete comments

Browse source 
* src/tgbaalgos/lbtt.hh, src/tgbaalgos/neverclaim.hh: Remove obsolete
comments.  Reported by Claire Parquier.
This commit is contained in:
Alexandre Duret-Lutz 2015-01-08 15:36:07 +01:00
parent 1492acc585
commit 4673427252
2 changed files with 2 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/tgbaalgos/lbtt.hh
View file

@ -1,6 +1,6 @@
// -*- coding: utf-8 -*- // -*- coding: utf-8 -*-
// Copyright (C) 2012, 2013, 2014 Laboratoire de Recherche et Développement de // Copyright (C) 2012, 2013, 2014, 2015 Laboratoire de Recherche et
// l'Epita (LRDE). // Développement de l'Epita (LRDE).
// Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6), // Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
// département Systèmes Répartis Coopératifs (SRC), Université Pierre // département Systèmes Répartis Coopératifs (SRC), Université Pierre
// et Marie Curie. // et Marie Curie.
@ -48,8 +48,6 @@ namespace spot
/// used by the automaton built. /// used by the automaton built.
/// \param env The environment of atomic proposition into which parsing /// \param env The environment of atomic proposition into which parsing
/// should take place. /// should take place.
/// \param envacc The environment of acceptance conditions into which parsing
/// should take place.
/// \return the read tgba or 0 on error. /// \return the read tgba or 0 on error.
SPOT_API tgba_digraph_ptr SPOT_API tgba_digraph_ptr
lbtt_parse(std::istream& is, std::string& error, lbtt_parse(std::istream& is, std::string& error,

2
src/tgbaalgos/neverclaim.hh
View file

@ -38,8 +38,6 @@ namespace spot
/// all the transitions of a state should be either all accepting /// all the transitions of a state should be either all accepting
/// or all unaccepting. If your automaton does not satisfies /// or all unaccepting. If your automaton does not satisfies
/// these requirements, call degeneralize() first. /// these requirements, call degeneralize() first.
/// \param f The (optional) formula associated to the automaton. If given
/// it will be output as a comment.
/// \param comments Whether to comment each state of the never clause /// \param comments Whether to comment each state of the never clause
/// with the label of the \a g automaton. /// with the label of the \a g automaton.
SPOT_API std::ostream& SPOT_API std::ostream&