Module: ppl/ppl Branch: pip Commit: 052ec67e0d7c5c093b3cd7bf10d2654db46ad834 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=052ec67e0d7c5...

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Feb 1 17:32:17 2010 +0100

Got rid of error-prone Tableau::s_capacity() and Tableau::t_capacity().

---

src/PIP_Tree.defs.hh | 6 ++---- src/PIP_Tree.inlines.hh | 10 ---------- 2 files changed, 2 insertions(+), 14 deletions(-)

diff --git a/src/PIP_Tree.defs.hh b/src/PIP_Tree.defs.hh index be1a361..b819b6e 100644 --- a/src/PIP_Tree.defs.hh +++ b/src/PIP_Tree.defs.hh @@ -293,14 +293,12 @@ private: //! Destructor. ~Tableau();

- //! Returns the allocated capacity of each Row of the \p s Matrix. - dimension_type s_capacity() const; - //! Returns the allocated capacity of each Row of the \p t Matrix. - dimension_type t_capacity() const; //! Tests whether the matrix is integer, \e ie. the denominator is 1. bool is_integer() const; + //! Multiplies all coefficients and denominator with ratio. void scale(Coefficient_traits::const_reference ratio); + //! Normalizes the modulo of coefficients so that they are mutually prime. /*! Computes the Greatest Common Divisor (GCD) among the elements of diff --git a/src/PIP_Tree.inlines.hh b/src/PIP_Tree.inlines.hh index 1bb7cd6..2ea2d93 100644 --- a/src/PIP_Tree.inlines.hh +++ b/src/PIP_Tree.inlines.hh @@ -51,16 +51,6 @@ PIP_Solution_Node::Tableau::get_denominator() const { return denominator; }

-inline dimension_type -PIP_Solution_Node::Tableau::s_capacity() const { - return compute_capacity(s.num_columns(), Matrix::max_num_columns()); -} - -inline dimension_type -PIP_Solution_Node::Tableau::t_capacity() const { - return compute_capacity(t.num_columns(), Matrix::max_num_columns()); -} - inline PIP_Tree_Node::~PIP_Tree_Node() { }