Module: ppl/ppl Branch: master Commit: 5090488bd0422649dce45d6766586e558a85c17c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5090488bd0422...
Author: Enea Zaffanella enea.zaffanella@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