Module: ppl/ppl Branch: master Commit: 2b5711e19f0b02703248d36416b87f227f581417 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b5711e19f0b0...
Author: Roberto Bagnara bagnara@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);