[PPL-devel] [GIT] ppl/ppl(pip): Got rid of error-prone Tableau::s_capacity() and Tableau::t_capacity().

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at 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() {
 }