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

Author: Enea Zaffanella enea.zaffanella@bugseng.com Date: Sun Mar 3 16:03:15 2013 +0100

Fixed constructor from a different partially reduced product element.

---

src/Partially_Reduced_Product_inlines.hh | 5 +---- 1 files changed, 1 insertions(+), 4 deletions(-)

diff --git a/src/Partially_Reduced_Product_inlines.hh b/src/Partially_Reduced_Product_inlines.hh index 591fbba..378b5a7 100644 --- a/src/Partially_Reduced_Product_inlines.hh +++ b/src/Partially_Reduced_Product_inlines.hh @@ -156,14 +156,11 @@ inline Partially_Reduced_Product<D1, D2, R> ::Partially_Reduced_Product(const Partially_Reduced_Product<E1, E2, S>& y, Complexity_Class complexity) - : d1(y.space_dimension()), d2(y.space_dimension()) { + : d1(y.space_dimension()), d2(y.space_dimension()), reduced(false) { Partially_Reduced_Product<D1, D2, R> pg1(y.domain1(), complexity); Partially_Reduced_Product<D1, D2, R> pg2(y.domain2(), complexity); pg1.intersection_assign(pg2); m_swap(pg1); - /* Even if y is reduced, the built product may not be reduced as - the reduction method may have changed (i.e., S != R). */ - clear_reduced_flag(); }

template <typename D1, typename D2, typename R>