Module: ppl/ppl Branch: master Commit: f31f10f742cd42fe5abefa3dc780067dd13aca03 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f31f10f742cd4...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon May 4 11:46:50 2009 +0200
Removed obsolete comments about minimization.
---
src/Polyhedron.defs.hh | 4 +--- 1 files changed, 1 insertions(+), 3 deletions(-)
diff --git a/src/Polyhedron.defs.hh b/src/Polyhedron.defs.hh index 2386897..247c5fa 100644 --- a/src/Polyhedron.defs.hh +++ b/src/Polyhedron.defs.hh @@ -1004,7 +1004,6 @@ public:
/*! \brief Assigns to \p *this the intersection of \p *this and \p y. - The result is not guaranteed to be minimized.
\exception std::invalid_argument Thrown if \p *this and \p y are topology-incompatible or @@ -1014,7 +1013,6 @@ public:
/*! \brief Assigns to \p *this the poly-hull of \p *this and \p y. - The result is not guaranteed to be minimized.
\exception std::invalid_argument Thrown if \p *this and \p y are topology-incompatible or @@ -1028,7 +1026,7 @@ public: /*! \brief Assigns to \p *this the \ref Convex_Polyhedral_Difference "poly-difference" - of \p *this and \p y. The result is not guaranteed to be minimized. + of \p *this and \p y.
\exception std::invalid_argument Thrown if \p *this and \p y are topology-incompatible or