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

Author: Fabio Bossi bossi@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)