diff options
| author | Enea Zaffanella <enea.zaffanella@bugseng.com> | 2013-03-03 16:03:15 +0100 |
|---|---|---|
| committer | Enea Zaffanella <enea.zaffanella@bugseng.com> | 2013-03-03 16:03:15 +0100 |
| commit | eaac930eb9a08b129381fc9cf96d6cfa45f57d6a (patch) | |
| tree | 09d2bb26b8d9b2007f62622dec7307c31e21cc7f /src | |
| parent | 87f09547a592229bfbd7722103f8e64ef074fb92 (diff) | |
| download | ppl-eaac930eb9a08b129381fc9cf96d6cfa45f57d6a.tar.gz ppl-eaac930eb9a08b129381fc9cf96d6cfa45f57d6a.tar.bz2 ppl-eaac930eb9a08b129381fc9cf96d6cfa45f57d6a.zip | |
Fixed constructor from a different partially reduced product element.
Diffstat (limited to 'src')
| -rw-r--r-- | 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 591fbbaf4..378b5a77c 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> |