Module: ppl/ppl Branch: master Commit: 2d7a51922756f6a1e92db965e3b0c1774b98698e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d7a51922756f... Author: Roberto Bagnara <bagnara@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.