[PPL-devel] [GIT] ppl/ppl(master): Removed wrong observation on time-elapse for closed polyhedra.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Oct 17 09:39:17 2012 +0200

Removed wrong observation on time-elapse for closed polyhedra.
(Thanks to Marco Faella for pointing this out.)

---

 doc/definitions.dox |    6 ++----
 1 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/doc/definitions.dox b/doc/definitions.dox
index c1b6b02..83b7e0d 100644
--- a/doc/definitions.dox
+++ b/doc/definitions.dox
@@ -1580,10 +1580,8 @@ is the smallest NNC polyhedron containing the set
     \vect{p} \in \cP, \vect{q} \in \cQ, \lambda \in \nonnegRset
   \,\bigr\}.
 \f]
-Note that, if \f$\cP,\cQ \in \CPset_n\f$ are closed polyhedra,
-the above set is also a closed polyhedron.
-In contrast, when \f$\cQ\f$ is not topologically closed,
-the above set might not be an NNC polyhedron.
+Note that the above set might not be an NNC polyhedron.
+
 
 \subsection Meet_Preserving_Simplification Meet-Preserving Enlargement and Simplification