Module: ppl/ppl Branch: termination Commit: 344cb0aca8ae7cb17820f75389480cac3d61b999 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=344cb0aca8ae7...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Mar 17 19:59:54 2010 +0400

Kludge removed.

---

src/Polyhedron.defs.hh | 15 --------------- 1 files changed, 0 insertions(+), 15 deletions(-)

diff --git a/src/Polyhedron.defs.hh b/src/Polyhedron.defs.hh index 0568c2a..8981831 100644 --- a/src/Polyhedron.defs.hh +++ b/src/Polyhedron.defs.hh @@ -52,10 +52,6 @@ site: http://www.cs.unipr.it/ppl/ . */ #include <vector> #include <iosfwd>

-// FIXME: this is only needed to access the copy constructor of -// class Polyhedron from the termination utility functions. -#include "C_Polyhedron.types.hh" - namespace Parma_Polyhedra_Library {

namespace IO_Operators { @@ -2572,17 +2568,6 @@ private: friend class Parma_Polyhedra_Library::BHRZ03_Certificate; friend class Parma_Polyhedra_Library::H79_Certificate;

- // FIXME: these are only needed to access the copy constructor of - // class Polyhedron. - template <typename PSET> - friend bool termination_test_PR(const PSET& pset); - template <typename PSET> - friend bool one_affine_ranking_function_PR(const PSET& pset, - Generator& mu); - template <typename PSET> - friend void all_affine_ranking_functions_PR(const PSET& pset, - C_Polyhedron& mu_space); - protected: #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS /*! \brief