minus_full.cc

// 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.

#include <mln/core/image/image1d.hh>
#include <mln/core/image/image2d.hh>
#include <mln/core/image/image3d.hh>
#include <mln/core/image/dmorph/sub_image.hh>

#include <mln/core/image/dmorph/image_if.hh>
#include <mln/fun/p2b/chess.hh>

#include <mln/literal/origin.hh>

#include <mln/value/int_s8.hh>
#include <mln/value/int_s16.hh>


#include <mln/debug/iota.hh>

#include <mln/arith/minus.hh>







struct f_box1d_t : mln::Function_v2b< f_box1d_t >
{
  f_box1d_t(const mln::box1d& b)
    : b_(b)
  {
  }
  mln::box1d b_;
  bool operator()(const mln::point1d& p) const
  {
    return b_.has(p);
  }
};

struct f_box2d_t : mln::Function_v2b< f_box2d_t >
{
  f_box2d_t(const mln::box2d& b)
    : b_(b)
  {
  }
  mln::box2d b_;
  bool operator()(const mln::point2d& p) const
  {
    return b_.has(p);
  }
};

struct f_box3d_t : mln::Function_v2b< f_box3d_t >
{
  f_box3d_t(const mln::box3d& b)
    : b_(b)
  {
  }
  mln::box3d b_;
  bool operator()(const mln::point3d& p) const
  {
    return b_.has(p);
  }
};



namespace mln
{
  template <typename I, typename J>
  void
  chck(const Image<I>& ref_, const Image<J>& ima_, const mln_value(I) v)
  {
    const I& ref = exact(ref_);
    const J& ima = exact(ima_);

    mln_piter(I) p (ima.domain ());
    for_all(p)
      mln_assertion ((mln_value(I))ima(p) == (ref(p) - v));
  }

  template <typename V>
  void
  chk(const V max)
  {
    box1d b1(literal::origin, point1d(1));
    box2d b2(literal::origin, point2d(1,1));
    box3d b3(literal::origin, point3d(1,1,1));
    f_box1d_t f_b1(b1);
    f_box2d_t f_b2(b2);
    f_box3d_t f_b3(b3);
    unsigned sli = 2;
    unsigned row = 3;
    unsigned col = 16;


    (std::cerr << "in 1d ... ").flush ();
    {
      typedef image1d<V> I;

      for (V v = 0; v < max; ++v)
        for (unsigned i = 1; i < col; ++i)
          {
            I ima(i);
            debug::iota(ima);
            chck (ima, ima - v, v);
          }
    }
    std::cerr << "OK" << std::endl;

    (std::cerr << "in 2d ... ").flush ();
    {
      typedef image2d<V> I;

      for (V v = 0; v < max; ++v)
        for (unsigned i = 1; i < col; ++i)
          for (unsigned j = 1; j < row; ++j)
            {
              I ima(j, i);
              debug::iota(ima);
              chck (ima, ima - v, v);
            }
    }
    std::cerr << "OK" << std::endl;

    (std::cerr << "in 3d ... ").flush ();
    {
      typedef image3d<V> I;

      for (V v = 0; v < max; ++v)
        for (unsigned i = 1; i < col; ++i)
          for (unsigned j = 1; j < row; ++j)
            for (unsigned k = 1; k < sli; ++k)
            {
              I ima(k, j, i);
              debug::iota(ima);
              chck (ima, ima - v, v);
            }
    }
    std::cerr << "OK" << std::endl;


    (std::cerr << "in subimage 1d ... ").flush ();
    {
      typedef image1d<V> I;
      typedef sub_image<I, box1d> J;


      for (V v = 0; v < max; ++v)
        for (unsigned i = 1; i < col; ++i)
          {
            I image(i);
            J ima(image, b1);
            debug::iota(ima);
            chck (ima, ima - v, v);
          }
    }
    std::cerr << "OK" << std::endl;

    (std::cerr << "in subimage 2d ... ").flush ();
    {
      typedef image2d<V> I;
      typedef sub_image<I, box2d> J;


      for (V v = 0; v < max; ++v)
        for (unsigned i = 1; i < col; ++i)
          for (unsigned j = 1; j < row; ++j)
          {
            I image(j, i);
            J ima(image, b2);
            debug::iota(ima);
            chck (ima, ima - v, v);
          }
    }
    std::cerr << "OK" << std::endl;

    (std::cerr << "in subimage 3d ... ").flush ();
    {
      typedef image3d<V> I;
      typedef sub_image<I, box3d> J;


      for (V v = 0; v < max; ++v)
        for (unsigned i = 1; i < col; ++i)
          for (unsigned j = 1; j < row; ++j)
            for (unsigned k = 1; k < sli; ++k)
          {
            I image(k, j, i);
            J ima(image, b3);
            debug::iota(ima);
            chck (ima, ima - v, v);
          }
    }
    std::cerr << "OK" << std::endl;
  }

}





int main()
{
  using namespace mln;

  std::cerr << "Tests arith::minus:" << std::endl;
  std::cerr << "on int:" << std::endl;
  chk<int>(1000);
  std::cerr << "on unsigned:" << std::endl;
  chk<unsigned>(1000);
  std::cerr << "on int_s8:" << std::endl;
  chk<value::int_s8>(8);
  std::cerr << "on int_s16:" << std::endl;
  chk<value::int_s16>(1000);


}