00001 // Copyright (C) 2008, 2009 EPITA Research and Development Laboratory (LRDE) 00002 // 00003 // This file is part of Olena. 00004 // 00005 // Olena is free software: you can redistribute it and/or modify it under 00006 // the terms of the GNU General Public License as published by the Free 00007 // Software Foundation, version 2 of the License. 00008 // 00009 // Olena is distributed in the hope that it will be useful, 00010 // but WITHOUT ANY WARRANTY; without even the implied warranty of 00011 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 00012 // General Public License for more details. 00013 // 00014 // You should have received a copy of the GNU General Public License 00015 // along with Olena. If not, see <http://www.gnu.org/licenses/>. 00016 // 00017 // As a special exception, you may use this file as part of a free 00018 // software project without restriction. Specifically, if other files 00019 // instantiate templates or use macros or inline functions from this 00020 // file, or you compile this file and link it with other files to produce 00021 // an executable, this file does not by itself cause the resulting 00022 // executable to be covered by the GNU General Public License. This 00023 // exception does not however invalidate any other reasons why the 00024 // executable file might be covered by the GNU General Public License. 00025 00026 #ifndef MLN_LOGICAL_INCLUDES_HH 00027 # define MLN_LOGICAL_INCLUDES_HH 00028 00030 00031 00032 # include <mln/core/concept/image.hh> 00033 # include <mln/data/transform.hh> 00034 # include <mln/data/transform_inplace.hh> 00035 # include <mln/fun/vv2v/macros.hh> 00036 00037 00038 00039 # ifndef MLN_INCLUDE_ONLY 00040 00041 namespace mln 00042 { 00043 00044 namespace logical 00045 { 00046 00047 namespace internal 00048 { 00049 00050 template <typename L, typename R> 00051 inline 00052 void 00053 tests(const Image<L>& lhs_, const Image<R>& rhs_) 00054 { 00055 const L& lhs = exact(lhs_); 00056 const R& rhs = exact(rhs_); 00057 00058 mln_precondition(lhs.is_valid()); 00059 mln_precondition(rhs.is_valid()); 00060 mln_precondition(rhs.domain() == lhs.domain()); 00061 00062 (void) lhs; 00063 (void) rhs; 00064 } 00065 00066 } // end of namespace mln::logical::internal 00067 00068 } // end of namespace mln::logical 00069 00070 } // end of namespace mln 00071 00072 # endif // ! MLN_INCLUDE_ONLY 00073 00074 00075 #endif // ! MLN_LOGICAL_INCLUDES_HH