[PPL-devel] [GIT] ppl/ppl(floating_point): Added method associated_dimension.

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Mon Jul 26 15:26:45 2010 +0200

Added method associated_dimension.

---

 tests/Concrete_Expression/C_Expr.inlines.hh |    5 +++++
 1 files changed, 5 insertions(+), 0 deletions(-)

diff --git a/tests/Concrete_Expression/C_Expr.inlines.hh b/tests/Concrete_Expression/C_Expr.inlines.hh
index f92c79f..43acc0e 100644
--- a/tests/Concrete_Expression/C_Expr.inlines.hh
+++ b/tests/Concrete_Expression/C_Expr.inlines.hh
@@ -101,6 +101,11 @@ Approximable_Reference<C_Expr>::kind() const {
   return KIND;
 }
 
+inline dimension_type
+Approximable_Reference<C_Expr>::associated_dimension() const {
+  return var_dimension;
+}
+
 } // namespace Parma_Polyhedra_Library
 
 #endif // !defined(PPL_C_Expr_inlines_hh)