* mln/core/complex_iter.hh (mln): (mln::complex_fwd_iter_<D>::complex_fwd_iter_(complex<D>)) (mln::complex_bkd_iter_<D>::complex_bkd_iter_(complex<D>)): Do it. --- milena/ChangeLog | 9 +++++++++ milena/mln/core/complex_iter.hh | 10 ++++------ 2 files changed, 13 insertions(+), 6 deletions(-) diff --git a/milena/ChangeLog b/milena/ChangeLog index e167fe7..3dcecf7 100644 --- a/milena/ChangeLog +++ b/milena/ChangeLog @@ -1,5 +1,14 @@ 2008-09-11 Roland Levillain &lt;roland(a)lrde.epita.fr&gt; + Use set_cplx() in ctors of complexes on iterators. + + * mln/core/complex_iter.hh (mln): + (mln::complex_fwd_iter_<D>::complex_fwd_iter_(complex<D>)) + (mln::complex_bkd_iter_<D>::complex_bkd_iter_(complex<D>)): + Do it. + +2008-09-11 Roland Levillain &lt;roland(a)lrde.epita.fr&gt; + Allow iterators on complexes to change their target. * mln/core/complex_iter.hh diff --git a/milena/mln/core/complex_iter.hh b/milena/mln/core/complex_iter.hh index 07181c0..b96d309 100644 --- a/milena/mln/core/complex_iter.hh +++ b/milena/mln/core/complex_iter.hh @@ -212,9 +212,8 @@ namespace mln inline complex_fwd_iter_<D>::complex_fwd_iter_(complex<D>& c) { - face_.set_cplx(c); - // Invalidate face_. - invalidate(); + set_cplx(c); + mln_postcondition(!is_valid()); } template <unsigned D> @@ -345,9 +344,8 @@ namespace mln inline complex_bkd_iter_<D>::complex_bkd_iter_(complex<D>& c) { - face_.set_cplx(c); - // Invalidate face_. - invalidate(); + set_cplx(c); + mln_postcondition(!is_valid()); } template <unsigned D> -- 1.5.6.5