Module: ppl/ppl Branch: master Commit: 044730210d62651c866a7f368e848d4da9d9e86b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=044730210d626...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jun 17 16:20:34 2010 +0200
Added missing argument names.
---
src/Box.defs.hh | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/Box.defs.hh b/src/Box.defs.hh index e812c45..4d6f412 100644 --- a/src/Box.defs.hh +++ b/src/Box.defs.hh @@ -718,7 +718,7 @@ public: \exception std::invalid_argument Thrown if \p x and \p y are dimension-incompatible. */ - bool contains(const Box&) const; + bool contains(const Box& y) const;
/*! \brief Returns <CODE>true</CODE> if and only if \p *this strictly contains \p y. @@ -726,7 +726,7 @@ public: \exception std::invalid_argument Thrown if \p x and \p y are dimension-incompatible. */ - bool strictly_contains(const Box&) const; + bool strictly_contains(const Box& y) const;
/*! \brief Returns <CODE>true</CODE> if and only if \p *this and \p y are disjoint.