[PPL-devel] [GIT] ppl/ppl(master): The documentation details of the Polyhedron:: conversion() static method

[Enea Zaffanella]

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

Author: Enea Zaffanella <enea.zaffanella at bugseng.com>
Date:   Thu May 16 16:55:55 2013 +0200

The documentation details of the Polyhedron::conversion() static method
are not meant for the user manual.

---

 src/Polyhedron_conversion_templates.hh |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)

diff --git a/src/Polyhedron_conversion_templates.hh b/src/Polyhedron_conversion_templates.hh
index f013b91..91d4772 100644
--- a/src/Polyhedron_conversion_templates.hh
+++ b/src/Polyhedron_conversion_templates.hh
@@ -60,6 +60,8 @@ namespace Parma_Polyhedra_Library {
   the polyhedron (when \p dest is a system of generators) or equality
   constraints (when \p dest is a system of constraints).
 
+  \if Include_Implementation_Details
+
   For simplicity, all the following comments assume we are converting a
   constraint system \p source to a generator system \p dest;
   the comments for the symmetric case can be obtained by duality.
@@ -345,6 +347,8 @@ namespace Parma_Polyhedra_Library {
   of \f$P\f$.
   These two adjacent rays build a ray equal to \f$\vect{r}\f$ and so
   \f$\vect{r}\f$ is redundant.
+
+  \endif
 */
 template <typename Source_Linear_System, typename Dest_Linear_System>
 dimension_type