[PPL-devel] [GIT] ppl/ppl(master): Doxygen reference fixed.
Roberto Bagnara
bagnara at cs.unipr.it
Mon Jul 13 16:05:12 CEST 2009
Module: ppl/ppl
Branch: master
Commit: 2b5711e19f0b02703248d36416b87f227f581417
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b5711e19f0b02703248d36416b87f227f581417
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Jul 13 16:01:19 2009 +0200
Doxygen reference fixed.
---
src/Affine_Space.defs.hh | 3 ++-
1 files changed, 2 insertions(+), 1 deletions(-)
diff --git a/src/Affine_Space.defs.hh b/src/Affine_Space.defs.hh
index 5d22ff7..23ed3ea 100644
--- a/src/Affine_Space.defs.hh
+++ b/src/Affine_Space.defs.hh
@@ -1597,7 +1597,8 @@ public:
\p to_be_folded is a set of variables whose maximum space dimension
is also less than or equal to \f$n\f$, and \p var is not a member
of \p to_be_folded, then the space dimensions corresponding to
- variables in \p to_be_folded are \ref Affine_Space_Fold_Space_Dimensions "folded"
+ variables in \p to_be_folded are
+ \ref Folding_Multiple_Dimensions_of_the_Vector_Space_into_One_Dimension "folded"
into the \f$k\f$-th space dimension.
*/
void fold_space_dimensions(const Variables_Set& to_be_folded, Variable var);
More information about the PPL-devel
mailing list