February 2012 - PPL-devel - BUGSENG Mailman

Fwd: Re: [Doxygen-users] installdox
by Roberto Bagnara 26 Feb '12

26 Feb '12

The `installdox' script is no longer available in recent Doxygen versions, and apparently it will not come back. -------- Original Message -------- Subject: Re: [Doxygen-users] installdox Date: Mon, 13 Feb 2012 20:24:10 +0100 From: Dimitri Van Heesch <doxygen(a)gmail.com> To: Alexander Rettig <alexander.rettig(a)askvisual.de> CC: doxygen-users(a)lists.sourceforge.net Hi Alexander, On Feb 13, 2012, at 14:37 , Alexander Rettig wrote: > Hello Dimitri, > > first of all, thanks for developing Doxygen for years, it is a great > tool which I would miss really sadly if it was not there. > > I just recently found the tool 'installdox' very useful for 'publishing' > generated documentation with external references (3 projects referencing > each other like A is known by B, C knows A and B). > Updating the links seemed to work quite good except for the navtree part > (but there may be other places where it fails). > Now I've seen, that you skipped installdox completely in a recent > release because you found the tool not working properly. Correct, I have removed doxytag and installdox. > > So my questions: > > Now, is the only way of getting external links right to (re)generate the > doc completely with doxygen using appropriate TAGFILES settings or is > there another recommended way? No, using TAGFILES is the recommended way. > > Do you think there is a chance to fix the problems with the installdox > script or are there to many issues? I only found problems with updating > the navtree.js (Doxygen 1.7.5.x. If I'm right, at this point things > changed also a little in 1.7.6...), which I could fix by slightly > modifying navtree.js and the generated installdox script (I wanted to > offer the fix but then I saw, that installdox was gone). Which links > were not correctly updated by the script, do you have information about > that? Because, if you don't think the installdox concept is > systematically broken and there are not too many situations where it > failed, I probably could fix it and provide it to you then (maybe this > belongs to the develop mailing list though ;-)). I think the installdox and doxytag tools were inherently too fragile. Parsing the output is just not a really good thing to do. Using doxygen="..." as an attribute name in the HTML output was not valid HTML either. Doxytag and installdox were already broken a long time and nobody really complained much, so I decided to drop support for it, rather than to keep spending time to temporarily fix the problem. Using TAGFILES has the drawback that it is less flexible to move output around at a later point in time. But if you use relative paths, it should not be such a big deal, as you can still move the documentation sets together to a new location without breaking any link. Regards, Dimitri ------------------------------------------------------------------------------ Try before you buy = See our experts in action! The most comprehensive online learning library for Microsoft developers is just $99.99! Visual Studio, SharePoint, SQL - plus HTML5, CSS3, MVC3, Metro Style Apps, more. Free future releases when you subscribe now! http://p.sf.net/sfu/learndevnow-dev2 _______________________________________________ Doxygen-users mailing list Doxygen-users(a)lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/doxygen-users

1 0

[GIT] ppl/ppl(master): Provide a named group for all library version control functions.
by Enea Zaffanella 26 Feb '12

26 Feb '12

Module: ppl/ppl Branch: master Commit: a18385ecd24fee64a91f70a8a5833f8748aee484 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a18385ecd24f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Feb 26 10:16:15 2012 +0100 Provide a named group for all library version control functions. --- src/globals.defs.hh | 6 ++++++ src/version.hh.in | 5 +++++ 2 files changed, 11 insertions(+), 0 deletions(-) diff --git a/src/globals.defs.hh b/src/globals.defs.hh index a7e46a3..33acce4 100644 --- a/src/globals.defs.hh +++ b/src/globals.defs.hh @@ -350,7 +350,9 @@ struct Recycle_Input { << "for " PPL_XSTR(class_prefix) << "." << std::endl; \ } +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! Returns <CODE>true</CODE> if \p c is any kind of space character. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) bool is_space(char c); template <typename T, long long v, typename Enable = void> @@ -399,8 +401,10 @@ template <long long v, bool prefer_signed = true> struct Constant : public Constant_<long long, v, prefer_signed> { }; +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \name Memory Size Inspection Functions //@{ +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS /*! \brief @@ -446,7 +450,9 @@ total_memory_in_bytes(const mpq_class& x); memory_size_type external_memory_in_bytes(const mpq_class& x); +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //@} // Memory Size Inspection Functions +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) template <typename T, typename Enable = void> diff --git a/src/version.hh.in b/src/version.hh.in index aae116a..0c40ac2 100644 --- a/src/version.hh.in +++ b/src/version.hh.in @@ -60,6 +60,9 @@ site: http://bugseng.com/products/ppl/ . */ namespace Parma_Polyhedra_Library { +//! \name Library Version Control Functions +//@{ + //! Returns the major number of the PPL version. unsigned version_major(); @@ -88,6 +91,8 @@ const char* version(); */ const char* banner(); +//@} // Library Version Control Functions + } // namespace Parma_Polyhedra_Library #endif // !defined(PPL_version_hh)

1 0

[GIT] ppl/ppl(master): Prefer explicit tests against zero.
by Enea Zaffanella 26 Feb '12

26 Feb '12

Module: ppl/ppl Branch: master Commit: 1228063d31da6c206e3b62f24419c0d0ddd77011 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1228063d31da… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Feb 26 10:10:20 2012 +0100 Prefer explicit tests against zero. Detected by ECLAIR service utypflag. --- interfaces/C/ppl_c_implementation_common.cc | 4 ++-- src/DB_Row.inlines.hh | 2 +- src/Interval_Info.inlines.hh | 9 ++++----- src/ppl-config.cc.in | 4 ++-- 4 files changed, 9 insertions(+), 10 deletions(-) diff --git a/interfaces/C/ppl_c_implementation_common.cc b/interfaces/C/ppl_c_implementation_common.cc index f5a6eac..b329a68 100644 --- a/interfaces/C/ppl_c_implementation_common.cc +++ b/interfaces/C/ppl_c_implementation_common.cc @@ -104,7 +104,7 @@ Weightwatch* p_deterministic_timeout_object = 0; void reset_timeout() { - if (p_timeout_object) { + if (p_timeout_object != 0) { delete p_timeout_object; p_timeout_object = 0; abandon_expensive_computations = 0; @@ -113,7 +113,7 @@ reset_timeout() { void reset_deterministic_timeout() { - if (p_deterministic_timeout_object) { + if (p_deterministic_timeout_object != 0) { delete p_deterministic_timeout_object; p_deterministic_timeout_object = 0; abandon_expensive_computations = 0; diff --git a/src/DB_Row.inlines.hh b/src/DB_Row.inlines.hh index aa5cf4e..5522dad 100644 --- a/src/DB_Row.inlines.hh +++ b/src/DB_Row.inlines.hh @@ -257,7 +257,7 @@ template <typename T> inline DB_Row<T>::DB_Row(const DB_Row& y) : DB_Row_Impl_Handler<T>() { - if (y.impl) { + if (y.impl != 0) { allocate(compute_capacity(y.size(), max_size())); copy_construct_coefficients(y); } diff --git a/src/Interval_Info.inlines.hh b/src/Interval_Info.inlines.hh index 46f69f1..0aa03f6 100644 --- a/src/Interval_Info.inlines.hh +++ b/src/Interval_Info.inlines.hh @@ -86,12 +86,11 @@ template <typename T, typename Policy> inline bool Interval_Info_Bitset<T, Policy>::ascii_load(std::istream& s) { std::ios_base::fmtflags old = s.flags(); - if (s >> std::hex >> bitset) { - s.flags(old); - return s; - } - else + s >> std::hex >> bitset; + if (!s) return false; + s.flags(old); + return s; } #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS diff --git a/src/ppl-config.cc.in b/src/ppl-config.cc.in index 448f354..e54519d 100644 --- a/src/ppl-config.cc.in +++ b/src/ppl-config.cc.in @@ -339,7 +339,7 @@ struct option long_options[] = { // --prefix case 'p': - if (optarg) { + if (optarg != 0) { prefix = optarg; if (!exec_prefix_set) { exec_prefix = optarg; @@ -354,7 +354,7 @@ struct option long_options[] = { // --exec_prefix case 'e': - if (optarg) { + if (optarg != 0) { exec_prefix = optarg; exec_prefix_set = true; }

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 26 Feb '12

26 Feb '12

Module: ppl/ppl Branch: master Commit: 681915911631d0b4b137d86a0b23a10d3bceff41 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=681915911631… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 26 10:01:39 2012 +0100 Updated. --- ChangeLog | 9667 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 files changed, 9667 insertions(+), 0 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=68191591…

1 0

[GIT] ppl/ppl(master): Added `Watchdog' to `SUBDIRS'.
by Roberto Bagnara 26 Feb '12

26 Feb '12

Module: ppl/ppl Branch: master Commit: f4005b141d00e70a247d006cc9d78f2f52bf1e1b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f4005b141d00… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 26 09:24:29 2012 +0100 Added `Watchdog' to `SUBDIRS'. --- tests/Makefile.am | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/Makefile.am b/tests/Makefile.am index 12ecfec..d34d29c 100644 --- a/tests/Makefile.am +++ b/tests/Makefile.am @@ -34,8 +34,8 @@ MIP_Problem \ Octagonal_Shape \ BD_Shape \ Polyhedron \ -Grid -#Ask_Tell +Grid \ +Watchdog AM_CPPFLAGS = -I$(top_builddir)/src -I$(top_srcdir)/src @extra_includes@

1 0

[GIT] ppl/ppl(master): Completed `ppl_config_SOURCES'.
by Roberto Bagnara 26 Feb '12

26 Feb '12

Module: ppl/ppl Branch: master Commit: 5238b268632f21366a5ba79816bf742fbb8ebc71 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5238b268632f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 26 09:24:01 2012 +0100 Completed `ppl_config_SOURCES'. --- src/Makefile.am | 3 +++ 1 files changed, 3 insertions(+), 0 deletions(-) diff --git a/src/Makefile.am b/src/Makefile.am index 8d12e35..ed490f0 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -72,8 +72,11 @@ lib_LTLIBRARIES = libppl.la bin_PROGRAMS = ppl-config ppl_config_SOURCES = \ +BUGS.hh \ BUGS.cc \ +COPYING.hh \ COPYING.cc \ +CREDITS.hh \ CREDITS.cc nodist_ppl_config_SOURCES = \

1 0

[GIT] ppl/ppl(master): Cater for platforms where no floating-point type is supported.
by Roberto Bagnara 26 Feb '12

26 Feb '12

Module: ppl/ppl Branch: master Commit: 81b598e7484f1d4b0d3323bafb30578c17149b1d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=81b598e7484f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 26 08:21:32 2012 +0100 Cater for platforms where no floating-point type is supported. --- configure.ac | 22 ++++++++---------- tests/Concrete_Expression/Makefile.am | 38 +++++++++++++------------------- 2 files changed, 26 insertions(+), 34 deletions(-) diff --git a/configure.ac b/configure.ac index 45acdca..e78909e 100644 --- a/configure.ac +++ b/configure.ac @@ -762,17 +762,15 @@ AC_CXX_DOUBLE_BINARY_FORMAT # Detect the binary format used by C++ long doubles. AC_CXX_LONG_DOUBLE_BINARY_FORMAT -# Check whether the C++ run-time systems provides exact output for -# floats. -#AC_CXX_FLOAT_EXACT_OUTPUT - -# Check whether the C++ run-time systems provides exact output for -# doubles. -#AC_CXX_DOUBLE_EXACT_OUTPUT - -# Check whether the C++ run-time systems provides exact output for -# long doubles. -#AC_CXX_LONG_DOUBLE_EXACT_OUTPUT +# Test if some floating-point type is supported. +if test $ac_supported_float = 1 \ +|| test $ac_supported_double = 1 \ +|| test $ac_supported_long_double = 1 +then + supported_some_floating_point_type=yes +fi +AM_CONDITIONAL(SUPPORTED_SOME_FLOATING_POINT_TYPE, + test x$supported_some_floating_point_type = xyes) # Check whether the C++ compiler supports zero-length arrays. AC_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS @@ -1222,7 +1220,7 @@ fi AM_CONDITIONAL(BUILD_YAP_PROLOG_INTERFACE, test x$build_yap_prolog_interface = xyes) -# Test if *any* Prolog system has to be built. +# Test if some Prolog interfaces have to be built. if test x$build_ciao_prolog_interface = xyes \ || test x$build_gnu_prolog_interface = xyes \ || test x$build_sicstus_prolog_interface = xyes \ diff --git a/tests/Concrete_Expression/Makefile.am b/tests/Concrete_Expression/Makefile.am index 3a79ec1..54b1af8 100644 --- a/tests/Concrete_Expression/Makefile.am +++ b/tests/Concrete_Expression/Makefile.am @@ -52,7 +52,7 @@ $(top_builddir)/tests/libppl_tests.a \ $(top_builddir)/src/libppl.la \ @extra_libraries@ -ORIGINAL_TESTS = \ +ALL_TESTS = \ C_Expr \ linearform1 \ linearize \ @@ -64,9 +64,19 @@ octagonalshape2 \ polyhedron1 \ polyhedron2 -DERIVED_TESTS = +BUGS = + +EXTRA_DIST = $(ALL_TESTS) $(BUGS) + +# There are platforms where no floating-point type is supported. +if SUPPORTED_SOME_FLOATING_POINT_TYPE + +check_PROGRAMS = $(ALL_TESTS) $(BUGS) + +TESTS = run_tests.stamp + +endif SUPPORTED_SOME_FLOATING_POINT_TYPE -ALL_TESTS = $(ORIGINAL_TESTS) $(DERIVED_TESTS) # This will be overridden by the `run_tests' script. if SUPPORTED_FLOAT @@ -83,12 +93,11 @@ LONG_DOUBLE_FLAGS = \ endif endif endif + TEST_CPPFLAGS = $(FLOAT_FLAGS) $(DOUBLE_FLAGS) $(LONG_DOUBLE_FLAGS) dist_check_SCRIPTS = run_tests -TESTS = run_tests.stamp - .PHONY: run_tests.stamp run_tests.stamp: run_tests +MAKE="$(MAKE)" $(srcdir)/run_tests @@ -152,30 +161,15 @@ polyhedron1_SOURCES = polyhedron1.cc polyhedron2_SOURCES = polyhedron2.cc -# -# Sources and compilation flags for the derived check programs -# - -DERIVED_CXXFLAGS = -DDERIVED_TEST $(AM_CXXFLAGS) - -#nnc_frompolyhedron1_SOURCES = frompolyhedron1.cc -#nnc_frompolyhedron1_CXXFLAGS = $(DERIVED_CXXFLAGS) - -BUGS = - -check_PROGRAMS = $(ALL_TESTS) $(BUGS) - -#EXTRA_DIST = $(refinewithconstraints2_SRCS) - -#MOSTLYCLEANFILES = \ -#ascii_dump_load1.dat CLEANFILES = \ run_tests.stamp + DISTCLEANFILES = \ dirty_marker + $(top_builddir)/utils/libppl_utils.a: $(MAKE) $(AM_MAKEFLAGS) -C $(top_builddir)/utils libppl_utils.a

1 0

[GIT] ppl/ppl(master): Added several missing \relates and \ingroup Doxygen commands.
by Enea Zaffanella 26 Feb '12

26 Feb '12

Module: ppl/ppl Branch: master Commit: fa1aba6cae22ad32a1f520cb2fce421d0259c3a8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa1aba6cae22… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Feb 26 00:27:51 2012 +0100 Added several missing \relates and \ingroup Doxygen commands. --- src/Checked_Number.defs.hh | 8 +++++++ src/Float.defs.hh | 46 ++++++++++++++++++++----------------------- src/Interval.defs.hh | 1 + src/Linear_Form.defs.hh | 2 +- src/PIP_Tree.defs.hh | 2 +- src/termination.defs.hh | 28 +++++++++++++------------- 6 files changed, 46 insertions(+), 41 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=fa1aba6c…

1 0

[GIT] ppl/ppl(master): Remove docs for a few implementation classes from the user manual.
by Enea Zaffanella 25 Feb '12

25 Feb '12

Module: ppl/ppl Branch: master Commit: 609f96793392774847c032d06ac3898e62995d4f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=609f96793392… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 25 23:55:53 2012 +0100 Remove docs for a few implementation classes from the user manual. --- src/CO_Tree.defs.hh | 6 +++--- src/Checked_Number.defs.hh | 6 ++++++ src/Dense_Row.defs.hh | 4 ++++ src/Sparse_Matrix.defs.hh | 4 +++- src/Sparse_Row.defs.hh | 8 ++++++-- src/Sparse_Row.inlines.hh | 3 +++ src/intervals.defs.hh | 2 -- 7 files changed, 25 insertions(+), 8 deletions(-) diff --git a/src/CO_Tree.defs.hh b/src/CO_Tree.defs.hh index 61c8556..0a84211 100644 --- a/src/CO_Tree.defs.hh +++ b/src/CO_Tree.defs.hh @@ -52,11 +52,11 @@ site: http://bugseng.com/products/ppl/ . */ namespace Parma_Polyhedra_Library { //! A cache-oblivious binary search tree of pairs. -/*! +/*! \ingroup PPL_CXX_interface This class implements a binary search tree with keys of dimension_type type and data of Coefficient type, laid out in a dynamically-sized array. - The array-based layout saves calls to new/delete (to insert n elements + The array-based layout saves calls to new/delete (to insert \f$n\f$ elements only \f$O(\log n)\f$ allocations are performed) and, more importantly, is much more cache-friendly than a standard (pointer-based) tree, because the elements are stored sequentially in memory (leaving some holes to allow @@ -94,7 +94,7 @@ namespace Parma_Polyhedra_Library { The indexes and values are stored in different arrays to reduce cache-misses during key queries. - The tree can store up to (-(dimension_type)1)/100 elements. + The tree can store up to \f$(-(dimension_type)1)/100\f$ elements. This limit allows faster density computations, but can be removed if needed. */ class CO_Tree { diff --git a/src/Checked_Number.defs.hh b/src/Checked_Number.defs.hh index d7bad52..390f7f6 100644 --- a/src/Checked_Number.defs.hh +++ b/src/Checked_Number.defs.hh @@ -139,15 +139,21 @@ struct Native_Checked_To_Wrapper<Checked_Number<T, P> > { } }; +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS /*! \ingroup PPL_CXX_interface */ +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) template <typename T> struct Is_Checked : public False { }; +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS /*! \ingroup PPL_CXX_interface */ +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) template <typename T, typename P> struct Is_Checked<Checked_Number<T, P> > : public True { }; +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS /*! \ingroup PPL_CXX_interface */ +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) template <typename T> struct Is_Native_Or_Checked : public Bool<Is_Native<T>::value || Is_Checked<T>::value> { }; diff --git a/src/Dense_Row.defs.hh b/src/Dense_Row.defs.hh index 0bcbd50..0e95e77 100644 --- a/src/Dense_Row.defs.hh +++ b/src/Dense_Row.defs.hh @@ -504,12 +504,16 @@ void swap(Dense_Row& x, Dense_Row& y); void iter_swap(std::vector<Dense_Row>::iterator x, std::vector<Dense_Row>::iterator y); +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! Returns <CODE>true</CODE> if and only if \p x and \p y are equal. /*! \relates Dense_Row */ +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) bool operator==(const Dense_Row& x, const Dense_Row& y); +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! Returns <CODE>true</CODE> if and only if \p x and \p y are different. /*! \relates Dense_Row */ +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) bool operator!=(const Dense_Row& x, const Dense_Row& y); } // namespace Parma_Polyhedra_Library diff --git a/src/Sparse_Matrix.defs.hh b/src/Sparse_Matrix.defs.hh index a8dc341..310f95f 100644 --- a/src/Sparse_Matrix.defs.hh +++ b/src/Sparse_Matrix.defs.hh @@ -29,8 +29,9 @@ site: http://bugseng.com/products/ppl/ . */ #include "globals.types.hh" #include <vector> +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! A sparse matrix of Coefficient. -/*! +/*! \ingroup PPL_CXX_interface This class is a drop-in replacement of Dense_Matrix, meaning that code using Dense_Matrix can be ported to Sparse_Matrix changing only references to Dense_Matrix and Dense_Row into references to Sparse_Matrix and @@ -52,6 +53,7 @@ site: http://bugseng.com/products/ppl/ . */ \see Sparse_Row */ +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) class Parma_Polyhedra_Library::Sparse_Matrix { public: diff --git a/src/Sparse_Row.defs.hh b/src/Sparse_Row.defs.hh index 555bf4b..180a2d1 100644 --- a/src/Sparse_Row.defs.hh +++ b/src/Sparse_Row.defs.hh @@ -34,7 +34,7 @@ site: http://bugseng.com/products/ppl/ . */ namespace Parma_Polyhedra_Library { //! A finite sparse sequence of coefficients. -/*! +/*! \ingroup PPL_CXX_interface This class is implemented using a CO_Tree. See the documentation of CO_Tree for details on the implementation and the performance. @@ -75,7 +75,7 @@ public: \see CO_Tree::const_iterator */ typedef CO_Tree::const_iterator const_iterator; - + explicit Sparse_Row(Flags flags); //! Constructs a row with the specified size. @@ -821,12 +821,16 @@ namespace Parma_Polyhedra_Library { #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) void swap(Sparse_Row& x, Sparse_Row& y); +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! Returns <CODE>true</CODE> if and only if \p x and \p y are equal. /*! \relates Sparse_Row */ +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) bool operator==(const Sparse_Row& x, const Sparse_Row& y); +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! Returns <CODE>true</CODE> if and only if \p x and \p y are different. /*! \relates Sparse_Row */ +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) bool operator!=(const Sparse_Row& x, const Sparse_Row& y); } // namespace Parma_Polyhedra_Library diff --git a/src/Sparse_Row.inlines.hh b/src/Sparse_Row.inlines.hh index 703cf0b..0e076f1 100644 --- a/src/Sparse_Row.inlines.hh +++ b/src/Sparse_Row.inlines.hh @@ -371,6 +371,9 @@ Sparse_Row::total_memory_in_bytes(dimension_type /* capacity */) const { return total_memory_in_bytes(); } +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS +/*! \relates Sparse_Row */ +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) inline void swap(Sparse_Row& x, Sparse_Row& y) { x.m_swap(y); diff --git a/src/intervals.defs.hh b/src/intervals.defs.hh index b9193b4..50993d8 100644 --- a/src/intervals.defs.hh +++ b/src/intervals.defs.hh @@ -31,10 +31,8 @@ site: http://bugseng.com/products/ppl/ . */ namespace Parma_Polyhedra_Library { -#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! The result of an operation on intervals. /*! \ingroup PPL_CXX_interface */ -#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) enum I_Result { //! \hideinitializer Result may be empty. I_EMPTY = 1U,

1 0

[GIT] ppl/ppl(master): Properly terminate Doxygen comments.
by Enea Zaffanella 25 Feb '12

25 Feb '12

Module: ppl/ppl Branch: master Commit: f9163fbd8bc14a1ab5a466b4d058925803caaca0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9163fbd8bc1… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Feb 25 22:55:33 2012 +0100 Properly terminate Doxygen comments. --- src/intervals.defs.hh | 26 +++++++++++++------------- 1 files changed, 13 insertions(+), 13 deletions(-) diff --git a/src/intervals.defs.hh b/src/intervals.defs.hh index 92b7693..b9193b4 100644 --- a/src/intervals.defs.hh +++ b/src/intervals.defs.hh @@ -36,33 +36,33 @@ namespace Parma_Polyhedra_Library { /*! \ingroup PPL_CXX_interface */ #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) enum I_Result { - //! \hideinitializer Result may be empty + //! \hideinitializer Result may be empty. I_EMPTY = 1U, - //! \hideinitializer Result may have only one value + //! \hideinitializer Result may have only one value. I_SINGLETON = 2U, /*! \brief \hideinitializer - Result may have more than one value, but it is not the domain universe + Result may have more than one value, but it is not the domain universe. */ I_SOME = 4U, - //! \hideinitializer Result may be the domain universe + //! \hideinitializer Result may be the domain universe. I_UNIVERSE = 8U, - //! \hideinitializer Result is not empty + //! \hideinitializer Result is not empty. I_NOT_EMPTY = I_SINGLETON | I_SOME | I_UNIVERSE, - //! \hideinitializer Result may be empty or not empty + //! \hideinitializer Result may be empty or not empty. I_ANY = I_EMPTY | I_NOT_EMPTY, - //! \hideinitializer Result may be empty or not empty + //! \hideinitializer Result may be empty or not empty. I_NOT_UNIVERSE = I_EMPTY | I_SINGLETON | I_SOME, - //! \hideinitializer Result is neither empty nor the domain universe + //! \hideinitializer Result is neither empty nor the domain universe. I_NOT_DEGENERATE = I_SINGLETON | I_SOME, - //! \hideinitializer Result is definitely exact + //! \hideinitializer Result is definitely exact. I_EXACT = 16, - //! \hideinitializer Result is definitely inexact + //! \hideinitializer Result is definitely inexact. I_INEXACT = 32, - //! \hideinitializer Operation has definitely changed the set + //! \hideinitializer Operation has definitely changed the set. I_CHANGED = 64, - //! \hideinitializer Operation has left the set definitely unchanged + //! \hideinitializer Operation has left the set definitely unchanged. I_UNCHANGED = 128, - //! \hideinitializer Operation is undefined for some combination of values + //! \hideinitializer Operation is undefined for some combination of values. I_SINGULARITIES = 256 };

1 0