[PPL-devel] [GIT] ppl/ppl(master): Added the documentation of some parameters.
Roberto Bagnara
bagnara at cs.unipr.it
Mon Jul 13 16:05:12 CEST 2009
Module: ppl/ppl
Branch: master
Commit: 603691e1fc7d82330d43e3b0bdc43d74b0801f0e
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=603691e1fc7d82330d43e3b0bdc43d74b0801f0e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Jul 13 16:04:22 2009 +0200
Added the documentation of some parameters.
---
src/BD_Shape.defs.hh | 4 ++++
src/Box.defs.hh | 4 ++++
src/Octagonal_Shape.defs.hh | 4 ++++
3 files changed, 12 insertions(+), 0 deletions(-)
diff --git a/src/BD_Shape.defs.hh b/src/BD_Shape.defs.hh
index 2155704..477a6d3 100644
--- a/src/BD_Shape.defs.hh
+++ b/src/BD_Shape.defs.hh
@@ -1363,6 +1363,10 @@ public:
Possibly tightens \p *this by dropping some points with non-integer
coordinates for the space dimensions corresponding to \p vars.
+ \param vars
+ Points with non-integer coordinates for these variables/space-dimensions
+ can be discarded.
+
\param complexity
The maximal complexity of any algorithms used.
diff --git a/src/Box.defs.hh b/src/Box.defs.hh
index 2981336..ff33df2 100644
--- a/src/Box.defs.hh
+++ b/src/Box.defs.hh
@@ -1255,6 +1255,10 @@ public:
Possibly tightens \p *this by dropping some points with non-integer
coordinates for the space dimensions corresponding to \p vars.
+ \param vars
+ Points with non-integer coordinates for these variables/space-dimensions
+ can be discarded.
+
\param complexity
The maximal complexity of any algorithms used.
diff --git a/src/Octagonal_Shape.defs.hh b/src/Octagonal_Shape.defs.hh
index 840b02f..5235902 100644
--- a/src/Octagonal_Shape.defs.hh
+++ b/src/Octagonal_Shape.defs.hh
@@ -1378,6 +1378,10 @@ public:
Possibly tightens \p *this by dropping some points with non-integer
coordinates for the space dimensions corresponding to \p vars.
+ \param vars
+ Points with non-integer coordinates for these variables/space-dimensions
+ can be discarded.
+
\param complexity
The maximal complexity of any algorithms used.
More information about the PPL-devel
mailing list