February 2012 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(ppl-0_12-branch): Updated.
by Roberto Bagnara 27 Feb '12

27 Feb '12

Module: ppl/ppl Branch: ppl-0_12-branch Commit: 143fc5c5b4fdc0a6c24271d60f515214937ee39b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=143fc5c5b4fd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 27 17:22:59 2012 +0100 Updated. --- CREDITS | 11 ++++++----- TODO | 8 ++------ 2 files changed, 8 insertions(+), 11 deletions(-) diff --git a/CREDITS b/CREDITS index 99aa556..fe664a0 100644 --- a/CREDITS +++ b/CREDITS @@ -29,6 +29,12 @@ Former Members of the Core Development Team: Current Contributors: --------------------- + Andrea Cimino (former student of the University of Parma) + wrote most of the mixed integer programming + solver, and also most of the Java and OCaml + interfaces. He keeps helping us, especially + with the web site. + Marco Poletti (student of the University of Bologna) implemented the sparse matrices that are used in the MIP and PIP solvers of the PPL; he also @@ -78,11 +84,6 @@ Past Contributors: one of the four students with which the PPL project started. - Andrea Cimino (former student of the University of Parma) - wrote most of the mixed integer programming - solver, and also most of the Java and OCaml - interfaces. - Katy Dobson (former student of the University of Leeds) worked on the formalization and definition of algorithms for rational grids and products diff --git a/TODO b/TODO index 271fb42..75b2e0d 100644 --- a/TODO +++ b/TODO @@ -1,11 +1,10 @@ -Enhancements for PPL 0.12 or later versions +Enhancements for PPL 0.13 or later versions =========================================== - Make all the *affine*image() methods uniform as far as the specification is concerned. - Add the domains of bounded integers and affine spaces. -- Finish the domain of intervals. - Intervals are best instantiated with checked numbers with particular policies: review all the interfaced boxes, augment the testsuite, and update the documentation. @@ -66,7 +65,7 @@ Enhancements for PPL 0.12 or later versions - Any_Pointset domain: check the interface for lacking or useless methods. -Enhancements for PPL 0.13 or later versions +Enhancements for PPL 0.14 or later versions =========================================== - Find a way to let the GMP and checked-int versions of the PPL coexist @@ -108,8 +107,5 @@ Efficiency Issues - There must be a more efficient way to implement bool Polyhedron::is_disjoint_from(const Polyhedron&). - There must be a more efficient way to compute convex differences. -- We are being rather careless about the creation of temporaries - as far as the classes Linear_Expression, Constraint and Generator - are concerned. - Provide a better implementation of computing squares in MIP_Problem's steepest-edge to avoid big numbers.

1 0

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

27 Feb '12

Module: ppl/ppl Branch: master Commit: 00cbfdb30e8e8a7e5c7fe20f63c53a27370a7905 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=00cbfdb30e8e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 27 17:24:27 2012 +0100 Updated. --- ChangeLog | 167 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 files changed, 167 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index 46ae1f2..b33555c 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,170 @@ +2012-02-27 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * CREDITS, TODO: Updated. + +2012-02-27 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/Concrete_Expression.defs.hh, src/Concrete_Expression.types.hh: + Let classes in Concrete_Expression.defs.hh appear in the user + manual. + +2012-02-27 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * src/globals.types.hh: Documented the enumerated values of enum + Floating_Point_Format. + +2012-02-27 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/intervals.defs.hh: Let the docs for the I_Result enum appear + on the devref manual only. + +2012-02-27 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/OR_Matrix.inlines.hh, src/globals.defs.hh: Mark some docs for + the devref manual only. + +2012-02-27 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/fpu.defs.hh: Group together documentation of functions + controlling FPU. + +2012-02-27 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/linearize.hh: Fixed documentation for linearize and added + \relates directive. + +2012-02-27 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/termination.defs.hh: Grouped together docs for the + linear-ranking functions. + +2012-02-27 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/CO_Tree.defs.hh, src/Sparse_Row.defs.hh: CO_Tree and + Sparse_Row should only appear in the devref manual. + +2012-02-26 Abramo Bagnara <abramo.bagnara(a)gmail.com> + + * src/Row_Flags.cc: Fixed missing namespace. + +2012-02-26 Abramo Bagnara <abramo.bagnara(a)gmail.com> + + * src/Checked_Number.templates.hh, src/Interval.templates.hh, + src/Interval_Info.inlines.hh, src/Row_Flags.cc: Fixed and uniformed + iomanip uses. + +2012-02-26 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/wrap_string.cc: Avoid mixing plain character data with numeric + data. Detected by ECLAIR service utypflag. + +2012-02-26 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * doc/devref.doxyconf-html.in, doc/devref.doxyconf-latex.in: Removed + references to an obsolete file. + +2012-02-26 Abramo Bagnara <abramo.bagnara(a)gmail.com> + + * src/CO_Tree.defs.hh, src/MIP_Problem.cc: Removed redundant and + unused stuff. + +2012-02-26 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/Checked_Number.defs.hh, src/Ptr_Iterator.defs.hh: Use the same + typenames in function declarations/definitions. Detected by ECLAIR + service funtypes. + +2012-02-26 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/Interval_Info.defs.hh, src/Pointset_Powerset.templates.hh, + src/checked_int.inlines.hh: Avoid mixing boolean and arithmetic + values. Detected by ECLAIR service utypflag. + +2012-02-26 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/GMP_Integer.defs.hh: Get rid of redundant declarations of a + couple of functions. Detected by ECLAIR service funtypes. + +2012-02-26 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/Interval_Info.inlines.hh: Simplified + Interval_Info::ascii_load(). Resettting format flags does not + change the istream status, which was previously tested and is known + to be good: hence, return true. + +2012-02-26 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * demos/ppl_lcdd/ppl_lcdd.cc, demos/ppl_pips/ppl_pips.cc, + fedora/ppl.hh, fedora/ppl_c.h, fedora/pwl.hh, + src/BDS_Status.idefs.hh, src/Box_Status.idefs.hh, + src/Float.defs.hh, src/Grid_Status.idefs.hh, + src/Og_Status.idefs.hh, src/Ph_Status.idefs.hh, src/fpu.defs.hh: + `#error' messages made consistent. + +2012-02-26 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * src/compiler.hh: Variable names fixed. + +2012-02-26 Abramo Bagnara <abramo.bagnara(a)gmail.com> + + * interfaces/C/ppl_c_implementation_common.cc, + interfaces/Java/jni/ppl_java_common.defs.hh, + interfaces/Java/jni/ppl_java_common.inlines.hh, + src/BD_Shape.templates.hh, src/Box.templates.hh, + src/Grid_public.cc, src/Octagonal_Shape.templates.hh, + src/Polyhedron_public.cc, src/Variable.cc, src/Variable.defs.hh, + src/Variables_Set.cc, src/Variables_Set.defs.hh, + src/Variables_Set.inlines.hh, src/termination.templates.hh, + src/wrap_assign.hh, tests/Polyhedron/affineimage2.cc, + tests/Polyhedron/bgp99extrapolation1.cc, + tests/Polyhedron/bhz03widening1.cc, + tests/Polyhedron/boundedbhrz03extrapolation1.cc, + tests/Polyhedron/writevariable1.cc, tests/ppl_test.cc, + tests/ppl_test.hh: Avoid to use Variable references. Uniformed + Variable creations. + +2012-02-26 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * src/compiler.hh: Types fixed. Useless if-then-else removed. + +2012-02-26 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * m4/ac_check_gmp.m4: Use `libtool' to test linking with GMP only if + the option `--with-gmp-build' was given. + +2012-02-26 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/Congruence_System.cc, src/Interval_Info.defs.hh, + src/Ph_Status.inlines.hh: Prefer explicit tests against zero. Avoid + using boolean values as integer values. Detected by ECLAIR service + utypflag. + +2012-02-26 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/Linear_Form.templates.hh, src/OR_Matrix.inlines.hh, + src/checked_float.inlines.hh: Improved implementation of + OR_Matrix<T>::any_row_iterator<U>::operator+=(). Increased + readability: - separated explicit type conversions from code performing + arithmetic operations (on non-mixed typed values); - added a few redundant parentheses. Similar improvement applied + to a couple of other functions. Detected by ECLAIR service + utypflag. + +2012-02-26 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * src/globals.defs.hh, src/version.hh.in: Provide a named group for + all library version control functions. + +2012-02-26 Enea Zaffanella <zaffanella(a)cs.unipr.it> + + * interfaces/C/ppl_c_implementation_common.cc, + src/DB_Row.inlines.hh, src/Interval_Info.inlines.hh, + src/ppl-config.cc.in: Prefer explicit tests against zero. Detected + by ECLAIR service utypflag. + +2012-02-26 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * ChangeLog: Updated. + 2012-02-26 Roberto Bagnara <bagnara(a)cs.unipr.it> * tests/Makefile.am: Added `Watchdog' to `SUBDIRS'.

1 0

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

27 Feb '12

Module: ppl/ppl Branch: master Commit: 143fc5c5b4fdc0a6c24271d60f515214937ee39b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=143fc5c5b4fd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 27 17:22:59 2012 +0100 Updated. --- CREDITS | 11 ++++++----- TODO | 8 ++------ 2 files changed, 8 insertions(+), 11 deletions(-) diff --git a/CREDITS b/CREDITS index 99aa556..fe664a0 100644 --- a/CREDITS +++ b/CREDITS @@ -29,6 +29,12 @@ Former Members of the Core Development Team: Current Contributors: --------------------- + Andrea Cimino (former student of the University of Parma) + wrote most of the mixed integer programming + solver, and also most of the Java and OCaml + interfaces. He keeps helping us, especially + with the web site. + Marco Poletti (student of the University of Bologna) implemented the sparse matrices that are used in the MIP and PIP solvers of the PPL; he also @@ -78,11 +84,6 @@ Past Contributors: one of the four students with which the PPL project started. - Andrea Cimino (former student of the University of Parma) - wrote most of the mixed integer programming - solver, and also most of the Java and OCaml - interfaces. - Katy Dobson (former student of the University of Leeds) worked on the formalization and definition of algorithms for rational grids and products diff --git a/TODO b/TODO index 271fb42..75b2e0d 100644 --- a/TODO +++ b/TODO @@ -1,11 +1,10 @@ -Enhancements for PPL 0.12 or later versions +Enhancements for PPL 0.13 or later versions =========================================== - Make all the *affine*image() methods uniform as far as the specification is concerned. - Add the domains of bounded integers and affine spaces. -- Finish the domain of intervals. - Intervals are best instantiated with checked numbers with particular policies: review all the interfaced boxes, augment the testsuite, and update the documentation. @@ -66,7 +65,7 @@ Enhancements for PPL 0.12 or later versions - Any_Pointset domain: check the interface for lacking or useless methods. -Enhancements for PPL 0.13 or later versions +Enhancements for PPL 0.14 or later versions =========================================== - Find a way to let the GMP and checked-int versions of the PPL coexist @@ -108,8 +107,5 @@ Efficiency Issues - There must be a more efficient way to implement bool Polyhedron::is_disjoint_from(const Polyhedron&). - There must be a more efficient way to compute convex differences. -- We are being rather careless about the creation of temporaries - as far as the classes Linear_Expression, Constraint and Generator - are concerned. - Provide a better implementation of computing squares in MIP_Problem's steepest-edge to avoid big numbers.

1 0

[GIT] ppl/ppl(ppl-0_12-branch): Let classes in Concrete_Expression.defs. hh appear in the user manual.
by Enea Zaffanella 27 Feb '12

27 Feb '12

Module: ppl/ppl Branch: ppl-0_12-branch Commit: 7d19a65f547bc4224622dbf70df1c43b792a194f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d19a65f547b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 27 15:57:45 2012 +0100 Let classes in Concrete_Expression.defs.hh appear in the user manual. --- src/Concrete_Expression.defs.hh | 8 ++++++++ src/Concrete_Expression.types.hh | 3 +-- 2 files changed, 9 insertions(+), 2 deletions(-) diff --git a/src/Concrete_Expression.defs.hh b/src/Concrete_Expression.defs.hh index 655e119..0f30e57 100644 --- a/src/Concrete_Expression.defs.hh +++ b/src/Concrete_Expression.defs.hh @@ -30,6 +30,7 @@ site: http://bugseng.com/products/ppl/ . */ namespace Parma_Polyhedra_Library { +//! The type of a concrete expression. class Concrete_Expression_Type { public: /*! \brief @@ -116,6 +117,7 @@ private: Implementation impl; }; +//! Base class for all concrete expressions. template <typename Target> class Concrete_Expression_Common { public: @@ -145,6 +147,7 @@ public: }; +//! Base class for binary operator applied to two concrete expressions. template <typename Target> class Binary_Operator_Common { public: @@ -158,6 +161,7 @@ public: const Concrete_Expression<Target>* right_hand_side() const; }; +//! Base class for unary operator applied to one concrete expression. template <typename Target> class Unary_Operator_Common { public: @@ -168,20 +172,24 @@ public: const Concrete_Expression<Target>* argument() const; }; +//! Base class for cast operator concrete expressions. template <typename Target> class Cast_Operator_Common { //! Returns the casted expression. const Concrete_Expression<Target>* argument() const; }; +//! Base class for integer constant concrete expressions. template <typename Target> class Integer_Constant_Common { }; +//! Base class for floating-point constant concrete expression. template <typename Target> class Floating_Point_Constant_Common { }; +//! Base class for references to some approximable. template <typename Target> class Approximable_Reference_Common { }; diff --git a/src/Concrete_Expression.types.hh b/src/Concrete_Expression.types.hh index 7a3c7e7..999ff41 100644 --- a/src/Concrete_Expression.types.hh +++ b/src/Concrete_Expression.types.hh @@ -27,7 +27,7 @@ class Binary_Operator; template <typename Target> class Unary_Operator; -//! A cast operator applied converting one concrete expression to some type. +//! A cast operator converting one concrete expression to some type. template <typename Target> class Cast_Operator; @@ -43,7 +43,6 @@ class Floating_Point_Constant; template <typename Target> class Approximable_Reference; -//! The type of a concrete expression. class Concrete_Expression_Type; /*! \brief

1 0

[GIT] ppl/ppl(master): Let classes in Concrete_Expression.defs. hh appear in the user manual.
by Enea Zaffanella 27 Feb '12

27 Feb '12

Module: ppl/ppl Branch: master Commit: 7d19a65f547bc4224622dbf70df1c43b792a194f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d19a65f547b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 27 15:57:45 2012 +0100 Let classes in Concrete_Expression.defs.hh appear in the user manual. --- src/Concrete_Expression.defs.hh | 8 ++++++++ src/Concrete_Expression.types.hh | 3 +-- 2 files changed, 9 insertions(+), 2 deletions(-) diff --git a/src/Concrete_Expression.defs.hh b/src/Concrete_Expression.defs.hh index 655e119..0f30e57 100644 --- a/src/Concrete_Expression.defs.hh +++ b/src/Concrete_Expression.defs.hh @@ -30,6 +30,7 @@ site: http://bugseng.com/products/ppl/ . */ namespace Parma_Polyhedra_Library { +//! The type of a concrete expression. class Concrete_Expression_Type { public: /*! \brief @@ -116,6 +117,7 @@ private: Implementation impl; }; +//! Base class for all concrete expressions. template <typename Target> class Concrete_Expression_Common { public: @@ -145,6 +147,7 @@ public: }; +//! Base class for binary operator applied to two concrete expressions. template <typename Target> class Binary_Operator_Common { public: @@ -158,6 +161,7 @@ public: const Concrete_Expression<Target>* right_hand_side() const; }; +//! Base class for unary operator applied to one concrete expression. template <typename Target> class Unary_Operator_Common { public: @@ -168,20 +172,24 @@ public: const Concrete_Expression<Target>* argument() const; }; +//! Base class for cast operator concrete expressions. template <typename Target> class Cast_Operator_Common { //! Returns the casted expression. const Concrete_Expression<Target>* argument() const; }; +//! Base class for integer constant concrete expressions. template <typename Target> class Integer_Constant_Common { }; +//! Base class for floating-point constant concrete expression. template <typename Target> class Floating_Point_Constant_Common { }; +//! Base class for references to some approximable. template <typename Target> class Approximable_Reference_Common { }; diff --git a/src/Concrete_Expression.types.hh b/src/Concrete_Expression.types.hh index 7a3c7e7..999ff41 100644 --- a/src/Concrete_Expression.types.hh +++ b/src/Concrete_Expression.types.hh @@ -27,7 +27,7 @@ class Binary_Operator; template <typename Target> class Unary_Operator; -//! A cast operator applied converting one concrete expression to some type. +//! A cast operator converting one concrete expression to some type. template <typename Target> class Cast_Operator; @@ -43,7 +43,6 @@ class Floating_Point_Constant; template <typename Target> class Approximable_Reference; -//! The type of a concrete expression. class Concrete_Expression_Type; /*! \brief

1 0

[GIT] ppl/ppl(ppl-0_12-branch): Documented the enumerated values of enum Floating_Point_Format.
by Roberto Bagnara 27 Feb '12

27 Feb '12

Module: ppl/ppl Branch: ppl-0_12-branch Commit: d0e8e448a39aa80a48464825317d8c0b2142371f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d0e8e448a39a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 27 15:51:03 2012 +0100 Documented the enumerated values of enum Floating_Point_Format. --- src/globals.types.hh | 18 ++++++++++++++++-- 1 files changed, 16 insertions(+), 2 deletions(-) diff --git a/src/globals.types.hh b/src/globals.types.hh index 91cb692..e99cd23 100644 --- a/src/globals.types.hh +++ b/src/globals.types.hh @@ -161,12 +161,26 @@ enum Bounded_Integer_Type_Overflow { "Analysis of floating point computations" for more information. */ enum Floating_Point_Format { + //! IEEE 754 half precision, 16 bits (5 exponent, 10 mantissa). IEEE754_HALF, + + //! IEEE 754 single precision, 32 bits (8 exponent, 23 mantissa). IEEE754_SINGLE, + + //! IEEE 754 double precision, 64 bits (11 exponent, 52 mantissa). IEEE754_DOUBLE, - IBM_SINGLE, + + //! IEEE 754 quad precision, 128 bits (15 exponent, 112 mantissa). IEEE754_QUAD, - INTEL_DOUBLE_EXTENDED + + //! Intel double extended precision, 80 bits (15 exponent, 64 mantissa) + INTEL_DOUBLE_EXTENDED, + + //! IBM single precision, 32 bits (7 exponent, 24 mantissa). + IBM_SINGLE, + + //! IBM double precision, 64 bits (7 exponent, 56 mantissa). + IBM_DOUBLE }; struct Weightwatch_Traits;

1 0

[GIT] ppl/ppl(master): Documented the enumerated values of enum Floating_Point_Format.
by Roberto Bagnara 27 Feb '12

27 Feb '12

Module: ppl/ppl Branch: master Commit: d0e8e448a39aa80a48464825317d8c0b2142371f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d0e8e448a39a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 27 15:51:03 2012 +0100 Documented the enumerated values of enum Floating_Point_Format. --- src/globals.types.hh | 18 ++++++++++++++++-- 1 files changed, 16 insertions(+), 2 deletions(-) diff --git a/src/globals.types.hh b/src/globals.types.hh index 91cb692..e99cd23 100644 --- a/src/globals.types.hh +++ b/src/globals.types.hh @@ -161,12 +161,26 @@ enum Bounded_Integer_Type_Overflow { "Analysis of floating point computations" for more information. */ enum Floating_Point_Format { + //! IEEE 754 half precision, 16 bits (5 exponent, 10 mantissa). IEEE754_HALF, + + //! IEEE 754 single precision, 32 bits (8 exponent, 23 mantissa). IEEE754_SINGLE, + + //! IEEE 754 double precision, 64 bits (11 exponent, 52 mantissa). IEEE754_DOUBLE, - IBM_SINGLE, + + //! IEEE 754 quad precision, 128 bits (15 exponent, 112 mantissa). IEEE754_QUAD, - INTEL_DOUBLE_EXTENDED + + //! Intel double extended precision, 80 bits (15 exponent, 64 mantissa) + INTEL_DOUBLE_EXTENDED, + + //! IBM single precision, 32 bits (7 exponent, 24 mantissa). + IBM_SINGLE, + + //! IBM double precision, 64 bits (7 exponent, 56 mantissa). + IBM_DOUBLE }; struct Weightwatch_Traits;

1 0

[GIT] ppl/ppl(ppl-0_12-branch): Let the docs for the I_Result enum appear on the devref manual only.
by Enea Zaffanella 27 Feb '12

27 Feb '12

Module: ppl/ppl Branch: ppl-0_12-branch Commit: 2ee55850a6d4eb0457d89600c7e65f76c1daa626 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ee55850a6d4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 27 14:32:57 2012 +0100 Let the docs for the I_Result enum appear on the devref manual only. --- src/intervals.defs.hh | 28 ++++++++++++++++++++++++++++ 1 files changed, 28 insertions(+), 0 deletions(-) diff --git a/src/intervals.defs.hh b/src/intervals.defs.hh index 50993d8..4649f1e 100644 --- a/src/intervals.defs.hh +++ b/src/intervals.defs.hh @@ -31,36 +31,64 @@ 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 { +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result may be empty. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_EMPTY = 1U, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result may have only one value. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_SINGLETON = 2U, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS /*! \brief \hideinitializer Result may have more than one value, but it is not the domain universe. */ +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_SOME = 4U, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result may be the domain universe. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_UNIVERSE = 8U, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result is not empty. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_NOT_EMPTY = I_SINGLETON | I_SOME | I_UNIVERSE, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result may be empty or not empty. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_ANY = I_EMPTY | I_NOT_EMPTY, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result may be empty or not empty. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_NOT_UNIVERSE = I_EMPTY | I_SINGLETON | I_SOME, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result is neither empty nor the domain universe. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_NOT_DEGENERATE = I_SINGLETON | I_SOME, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result is definitely exact. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_EXACT = 16, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result is definitely inexact. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_INEXACT = 32, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Operation has definitely changed the set. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_CHANGED = 64, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Operation has left the set definitely unchanged. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_UNCHANGED = 128, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Operation is undefined for some combination of values. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_SINGULARITIES = 256 };

1 0

[GIT] ppl/ppl(master): Let the docs for the I_Result enum appear on the devref manual only.
by Enea Zaffanella 27 Feb '12

27 Feb '12

Module: ppl/ppl Branch: master Commit: 2ee55850a6d4eb0457d89600c7e65f76c1daa626 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ee55850a6d4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 27 14:32:57 2012 +0100 Let the docs for the I_Result enum appear on the devref manual only. --- src/intervals.defs.hh | 28 ++++++++++++++++++++++++++++ 1 files changed, 28 insertions(+), 0 deletions(-) diff --git a/src/intervals.defs.hh b/src/intervals.defs.hh index 50993d8..4649f1e 100644 --- a/src/intervals.defs.hh +++ b/src/intervals.defs.hh @@ -31,36 +31,64 @@ 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 { +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result may be empty. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_EMPTY = 1U, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result may have only one value. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_SINGLETON = 2U, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS /*! \brief \hideinitializer Result may have more than one value, but it is not the domain universe. */ +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_SOME = 4U, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result may be the domain universe. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_UNIVERSE = 8U, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result is not empty. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_NOT_EMPTY = I_SINGLETON | I_SOME | I_UNIVERSE, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result may be empty or not empty. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_ANY = I_EMPTY | I_NOT_EMPTY, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result may be empty or not empty. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_NOT_UNIVERSE = I_EMPTY | I_SINGLETON | I_SOME, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result is neither empty nor the domain universe. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_NOT_DEGENERATE = I_SINGLETON | I_SOME, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result is definitely exact. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_EXACT = 16, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Result is definitely inexact. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_INEXACT = 32, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Operation has definitely changed the set. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_CHANGED = 64, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Operation has left the set definitely unchanged. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_UNCHANGED = 128, +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! \hideinitializer Operation is undefined for some combination of values. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) I_SINGULARITIES = 256 };

1 0

[GIT] ppl/ppl(master): Mark some docs for the devref manual only.
by Enea Zaffanella 27 Feb '12

27 Feb '12

Module: ppl/ppl Branch: master Commit: 763276a346dee715359c1e4a61ca43c1b4868922 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=763276a346de… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 27 10:49:17 2012 +0100 Mark some docs for the devref manual only. --- src/OR_Matrix.inlines.hh | 2 ++ src/globals.defs.hh | 2 ++ 2 files changed, 4 insertions(+), 0 deletions(-) diff --git a/src/OR_Matrix.inlines.hh b/src/OR_Matrix.inlines.hh index a138c01..5dfa3df 100644 --- a/src/OR_Matrix.inlines.hh +++ b/src/OR_Matrix.inlines.hh @@ -441,7 +441,9 @@ OR_Matrix<T>::m_swap(OR_Matrix& y) { swap(vec_capacity, y.vec_capacity); } +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! Returns the integer square root of \p x. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) inline dimension_type isqrt(dimension_type x) { dimension_type r = 0; diff --git a/src/globals.defs.hh b/src/globals.defs.hh index 33acce4..dc447e5 100644 --- a/src/globals.defs.hh +++ b/src/globals.defs.hh @@ -42,7 +42,9 @@ namespace Parma_Polyhedra_Library { dimension_type not_a_dimension(); +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! Returns the hash code for space dimension \p dim. +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) int32_t hash_code_from_dimension(dimension_type dim);

1 0