Module: ppl/ppl Branch: master Commit: 63f34f91afd96249825c7ba2371f3e973129e55e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=63f34f91afd96...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Aug 1 19:29:13 2010 +0200

Set aside the domain of affine spaces, for the time being.

---

TODO | 2 +- src/Affine_Space.defs.hh | 4 ++-- src/Makefile.am | 4 ---- 3 files changed, 3 insertions(+), 7 deletions(-)

diff --git a/TODO b/TODO index 76d679e..199ef0e 100644 --- a/TODO +++ b/TODO @@ -4,7 +4,7 @@ Enhancements for PPL 0.12 or later versions

- Make all the *affine*image() methods uniform as far as the specification is concerned. -- Add the domain of circular linear progressions. +- 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, diff --git a/src/Affine_Space.defs.hh b/src/Affine_Space.defs.hh index fa42333..99f0adb 100644 --- a/src/Affine_Space.defs.hh +++ b/src/Affine_Space.defs.hh @@ -129,7 +129,7 @@ bool operator!=(const Affine_Space& x, const Affine_Space& y); Variable y(1); \endcode

- FIXME(0.11): revise the contents below this point of this comment block. + FIXME: revise the contents below this point of this comment block.

\par Example 1 The following code builds an affine space corresponding to the even integer @@ -686,7 +686,7 @@ public: */ bool bounds_from_below(const Linear_Expression& expr) const;

- // FIXME(0.11): revise all the comment blocks below this one. + // FIXME: revise all the comment blocks below this one.

/*! \brief Returns <CODE>true</CODE> if and only if \p *this is not empty and diff --git a/src/Makefile.am b/src/Makefile.am index f726e90..06e9ad3 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -161,7 +161,6 @@ BHRZ03_Certificate.types.hh \ H79_Certificate.types.hh \ Grid_Certificate.types.hh \ Partial_Function.types.hh \ -Affine_Space.types.hh \ Polyhedron.types.hh \ C_Polyhedron.types.hh \ NNC_Polyhedron.types.hh \ @@ -291,8 +290,6 @@ Grid_Certificate.defs.hh \ Grid_Certificate.inlines.hh \ Partial_Function.defs.hh \ Partial_Function.inlines.hh \ -Affine_Space.defs.hh \ -Affine_Space.inlines.hh \ Polyhedron.defs.hh \ Ph_Status.inlines.hh \ Polyhedron.inlines.hh \ @@ -397,7 +394,6 @@ BHRZ03_Certificate.cc \ H79_Certificate.cc \ Grid_Certificate.cc \ Partial_Function.cc \ -Affine_Space.cc \ Polyhedron_nonpublic.cc \ Polyhedron_public.cc \ Polyhedron_chdims.cc \