From df1785f52604d9e97f6a1cc5a558f05b3a5ed0c0 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sun, 29 Apr 2012 00:43:08 +0200 Subject: [PATCH] Fix doxygen comments. * src/tgba/formula2bdd.hh: Fix the comments so Doxygen can see them. --- src/tgba/formula2bdd.hh | 17 ++++++++++------- 1 file changed, 10 insertions(+), 7 deletions(-) diff --git a/src/tgba/formula2bdd.hh b/src/tgba/formula2bdd.hh index fa25cfdab..8c787c655 100644 --- a/src/tgba/formula2bdd.hh +++ b/src/tgba/formula2bdd.hh @@ -1,5 +1,8 @@ +// -*- coding: utf-8 -*- +// Copyright (C) 2012 Laboratoire de Recherche et Développement de +// l'Epita (LRDE). // Copyright (C) 2003 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. // // This file is part of Spot, a model checking library. @@ -27,14 +30,14 @@ namespace spot { - // \brief Convert a formula into a BDD. - // - // Convert formula \a f into a Bdd, using existing variables from \a - // d, and registering new one as necessary. \a for_me is the - // address to use as owner of the variables used in the BDD. + /// \brief Convert a formula into a BDD. + /// + /// Convert formula \a f into a Bdd, using existing variables from \a + /// d, and registering new one as necessary. \a for_me is the + /// address to use as owner of the variables used in the BDD. bdd formula_to_bdd(const ltl::formula* f, bdd_dict* d, void* for_me); - // Convert a BDD into a formula. + /// Convert a BDD into a formula. const ltl::formula* bdd_to_formula(bdd f, const bdd_dict* d); }