div.hh

// Copyright (C) 2007, 2008, 2009 EPITA Research and Development Laboratory (LRDE)
//
// This file is part of Olena.
//
// Olena is free software: you can redistribute it and/or modify it under
// the terms of the GNU General Public License as published by the Free
// Software Foundation, version 2 of the License.
//
// Olena is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
// General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with Olena.  If not, see <http://www.gnu.org/licenses/>.
//
// As a special exception, you may use this file as part of a free
// software project without restriction.  Specifically, if other files
// instantiate templates or use macros or inline functions from this
// file, or you compile this file and link it with other files to produce
// an executable, this file does not by itself cause the resulting
// executable to be covered by the GNU General Public License.  This
// exception does not however invalidate any other reasons why the
// executable file might be covered by the GNU General Public License.

#ifndef MLN_ARITH_DIV_HH
# define MLN_ARITH_DIV_HH


# include <mln/arith/includes.hh>

// Specializations are in:
# include <mln/arith/div.spe.hh>


namespace mln
{


  namespace trait
  {

    template <typename L, typename R>
    struct set_binary_< op::div, Image, L, Image, R >
    {
      typedef mln_trait_op_div(mln_value(L), mln_value(R)) value;
      typedef mln_ch_value(L, value) ret;
    };

    template <typename I, typename S>
    struct set_binary_< op::div, Image, I, mln::value::Scalar, S >
    {
      typedef mln_trait_op_div(mln_value(I), S) value;
      typedef mln_ch_value(I, value) ret;
    };

  } // end of namespace mln::trait



  template <typename L, typename R>
  mln_trait_op_div(L,R)
  operator/(const Image<L>& lhs, const Image<R>& rhs);

  template <typename L, typename R>
  L&
  operator/=(Image<L>& lhs, const Image<R>& rhs);


  template <typename I, typename S>
  mln_trait_op_div(I,S)
  operator/(const Image<I>& ima, const value::Scalar<S>& s);

  template <typename I, typename S>
  I&
  operator/=(Image<I>& ima, const value::Scalar<S>& s);



  namespace arith
  {


    template <typename L, typename R, typename O>
    void div(const Image<L>& lhs, const Image<R>& rhs, Image<O>& output);



    template <typename I, typename V, typename O>
    void div_cst(const Image<I>& input, const V& val, Image<O>& output);



    template <typename L, typename R>
    void div_inplace(Image<L>& lhs, const Image<R>& rhs);


  } // end of namespace mln::arith




# ifndef MLN_INCLUDE_ONLY


  template <typename L, typename R>
  inline
  mln_trait_op_div(L,R)
  operator/(const Image<L>& lhs, const Image<R>& rhs)
  {
    mln_precondition(exact(rhs).domain() == exact(lhs).domain());
    mln_trait_op_div(L,R) tmp;
    initialize(tmp, lhs);
    arith::div(lhs, rhs, tmp);
    return tmp;
  }

  template <typename L, typename R>
  inline
  L&
  operator/=(Image<L>& lhs, const Image<R>& rhs)
  {
    mln_precondition(exact(rhs).domain() == exact(lhs).domain());
    arith::div_inplace(lhs, rhs);
    return exact(lhs);
  }


  template <typename I, typename S>
  inline
  mln_trait_op_div(I,S)
  operator/(const Image<I>& ima, const value::Scalar<S>& s)
  {
    mln_precondition(exact(ima).is_valid());
    mln_precondition(s != 0);
    mln_trait_op_div(I,S) tmp;
    initialize(tmp, ima);
    arith::div_cst(ima, exact(s), tmp);
    return tmp;
  }

  template <typename I, typename S>
  inline
  I&
  operator/=(Image<I>& ima, const value::Scalar<S>& s)
  {
    mln_precondition(exact(ima).is_valid());
    arith::div_cst(ima, exact(s), ima);
    return exact(ima);
  }



  namespace arith
  {

    namespace impl
    {

      namespace generic
      {

        template <typename L, typename R, typename O>
        inline
        void div_(const L& lhs, const R& rhs, O& output)
        {
          trace::entering("arith::impl::generic::div_");

          mln_piter(L) p(lhs.domain());
          for_all(p)
            output(p) = lhs(p) / rhs(p);

          trace::exiting("arith::impl::generic::div_");
        }

        template <typename L, typename R>
        inline
        void div_inplace_(L& lhs, const R& rhs)
        {
          trace::entering("arith::impl::generic::div_inplace_");

          mln_piter(R) p(rhs.domain());
          for_all(p)
          lhs(p) /= rhs(p);

          trace::exiting("arith::impl::generic::div_inplace_");
        }

      } // end of namespace mln::arith::impl::generic

    } // end of namespace mln::arith::impl


    // Facades.

    template <typename L, typename R, typename O>
    inline
    void div(const Image<L>& lhs, const Image<R>& rhs, Image<O>& output)
    {
      trace::entering("arith::div");

      mln_precondition(exact(rhs).domain() == exact(lhs).domain());
      mln_precondition(exact(output).domain() == exact(lhs).domain());
      impl::div_(mln_trait_image_speed(L)(), exact(lhs),
                 mln_trait_image_speed(R)(), exact(rhs),
                 mln_trait_image_speed(O)(), exact(output));

      trace::exiting("arith::div");
    }

    template <typename I, typename V, typename O>
    inline
    void div_cst(const Image<I>& input, const V& val, Image<O>& output)
    {
      trace::entering("arith::div_cst");

      mln_precondition(exact(output).domain() == exact(input).domain());
      div(input, pw::cst(val) | exact(input).domain(), output);
      // Calls the previous version.

      trace::exiting("arith::div_cst");
    }

    template <typename L, typename R>
    inline
    void div_inplace(Image<L>& lhs, const Image<R>& rhs)
    {
      trace::entering("arith::div_inplace");

      mln_precondition(exact(rhs).domain() <= exact(lhs).domain());
      impl::div_inplace_(mln_trait_image_speed(L)(), exact(lhs),
                         mln_trait_image_speed(R)(), exact(rhs));

      trace::exiting("arith::div_inplace");
    }

    template <typename I, typename V>
    inline
    void div_cst_inplace(Image<I>& input, const V& val)
    {
      trace::entering("arith::div_cst_inplace");

      mln_precondition(exact(input).is_valid());
      div_inplace(input, pw::cst(val) | exact(input).domain());
      // Calls the previous version.

      trace::exiting("arith::div_cst_inplace");
    }

  } // end of namespace mln::arith

# endif // ! MLN_INCLUDE_ONLY

} // end of namespace mln


#endif // ! MLN_ARITH_DIV_HH