[PPL-devel] [GIT] ppl/ppl(master): Removed two unused and unwanted methods.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Apr  1 17:37:43 2012 +0200

Removed two unused and unwanted methods.
(They were also wrongly implemented.)

---

 src/Polyhedron.defs.hh    |    8 --------
 src/Polyhedron.inlines.hh |    5 -----
 src/Polyhedron_public.cc  |   12 ------------
 3 files changed, 0 insertions(+), 25 deletions(-)

diff --git a/src/Polyhedron.defs.hh b/src/Polyhedron.defs.hh
index 5f692c2..b52638d 100644
--- a/src/Polyhedron.defs.hh
+++ b/src/Polyhedron.defs.hh
@@ -35,8 +35,6 @@ site: http://bugseng.com/products/ppl/ . */
 #include "Generator_System.inlines.hh"
 #include "Congruence_System.defs.hh"
 #include "Congruence_System.inlines.hh"
-#include "Grid_Generator_System.defs.hh"
-#include "Grid_Generator_System.inlines.hh"
 #include "Bit_Matrix.defs.hh"
 #include "Constraint.types.hh"
 #include "Generator.types.hh"
@@ -550,12 +548,6 @@ public:
   */
   Congruence_System minimized_congruences() const;
 
-  //! Returns a universe system of grid generators.
-  Grid_Generator_System grid_generators() const;
-
-  //! Returns a universe system of grid generators.
-  Grid_Generator_System minimized_grid_generators() const;
-
   /*! \brief
     Returns the relations holding between the polyhedron \p *this
     and the constraint \p c.
diff --git a/src/Polyhedron.inlines.hh b/src/Polyhedron.inlines.hh
index ff35596..ecdc412 100644
--- a/src/Polyhedron.inlines.hh
+++ b/src/Polyhedron.inlines.hh
@@ -369,11 +369,6 @@ Polyhedron::minimized_congruences() const {
   return Congruence_System(minimized_constraints());
 }
 
-inline Grid_Generator_System
-Polyhedron::minimized_grid_generators() const {
-  return grid_generators();
-}
-
 inline void
 Polyhedron::add_recycled_congruences(Congruence_System& cgs) {
   add_congruences(cgs);
diff --git a/src/Polyhedron_public.cc b/src/Polyhedron_public.cc
index 31f2c7d..440b0d5 100644
--- a/src/Polyhedron_public.cc
+++ b/src/Polyhedron_public.cc
@@ -194,18 +194,6 @@ PPL::Polyhedron::minimized_generators() const {
   return generators();
 }
 
-PPL::Grid_Generator_System
-PPL::Polyhedron::grid_generators() const {
-  Grid_Generator_System ggs(space_dim);
-  // Trivially true point.
-  ggs.insert(grid_point(0*(Variable(0))));
-  // A line for each dimension.
-  dimension_type dim = 0;
-  while (dim < space_dim)
-    ggs.insert(grid_line(Variable(dim)));
-  return ggs;
-}
-
 PPL::Poly_Con_Relation
 PPL::Polyhedron::relation_with(const Constraint& c) const {
   // Dimension-compatibility check.