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

* src/tgba/bddprint.hh: Typo in Doxygen comment.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2013-04-04 12:06:20 +02:00
parent 12d369fc30
commit 8896c3d5da
1 changed files with 8 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

13
src/tgba/bddprint.hh
View file

@ -1,6 +1,9 @@
// Copyright (C) 2003, 2004, 2012 Laboratoire d'Informatique de Paris 6 (LIP6),
// département Systèmes Répartis Coopératifs (SRC), Université Pierre
// et Marie Curie.
// -*- coding: utf-8 -*-
// Copyright (C) 2012, 2013 Laboratoire de Recherche et Développement
// de l'Epita (LRDE).
// Copyright (C) 2003, 2004 Laboratoire d'Informatique de
// Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
// Université Pierre et Marie Curie.
//
// This file is part of Spot, a model checking library.
//
@ -120,7 +123,7 @@ namespace spot
/// \param b The BDD to print.
/// \return The BDD formated as a string.
std::string
bdd_format_isop(const bdd_dict* d, bdd b);
bdd_format_isop(const bdd_dict* dict, bdd b);
/// \brief Print a BDD as an irredundant sum of product.
@ -128,7 +131,7 @@ namespace spot
/// \param dict The dictionary to use, to lookup variables.
/// \param b The BDD to print.
std::ostream&
bdd_print_isop(std::ostream& os, const bdd_dict* d, bdd b);
bdd_print_isop(std::ostream& os, const bdd_dict* dict, bdd b);
}