[PPL-devel] [GIT] ppl/ppl(master): Removed obsolete comments about minimization.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: f31f10f742cd42fe5abefa3dc780067dd13aca03
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f31f10f742cd42fe5abefa3dc780067dd13aca03

Author: Roberto Bagnara <bagnara at 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