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

* spot/tl/formula.hh (binop): Fix Doxygen comment.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2016-03-12 19:43:45 +01:00
parent 1287525afa
commit 546fa92a5d
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
spot/tl/formula.hh
View file

@ -1,5 +1,5 @@
// -*- coding: utf-8 -*- // -*- coding: utf-8 -*-
// Copyright (C) 2015 Laboratoire de Recherche et Développement de // Copyright (C) 2015, 2016 Laboratoire de Recherche et Développement de
// l'Epita (LRDE). // l'Epita (LRDE).
// //
// This file is part of Spot, a model checking library. // This file is part of Spot, a model checking library.
@ -777,6 +777,7 @@ namespace spot
/// @} /// @}
#undef SPOT_DEF_UNOP #undef SPOT_DEF_UNOP
/// @{
/// \brief Construct a binary operator /// \brief Construct a binary operator
/// \pre \a o should be one of op::Xor, op::Implies, op::Equiv, /// \pre \a o should be one of op::Xor, op::Implies, op::Equiv,
/// op::U, op::R, op::W, op::M, op::EConcat, op::EConcatMarked, /// op::U, op::R, op::W, op::M, op::EConcat, op::EConcatMarked,
@ -801,6 +802,8 @@ namespace spot
{ {
return formula(fnode::binop(o, f.to_node_(), g.to_node_())); return formula(fnode::binop(o, f.to_node_(), g.to_node_()));
} }
///@}
#endif //SWIG #endif //SWIG
#ifdef SWIG #ifdef SWIG