$extrastylesheet
Olena
User documentation 2.1
An Image Processing Platform
Milena
Getting started
API Reference Manual
All Classes
Examples
Demos
Publications
All
Classes
Namespaces
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Groups
Pages
implies.hh
1
// Copyright (C) 2008, 2009 EPITA Research and Development Laboratory (LRDE)
2
//
3
// This file is part of Olena.
4
//
5
// Olena is free software: you can redistribute it and/or modify it under
6
// the terms of the GNU General Public License as published by the Free
7
// Software Foundation, version 2 of the License.
8
//
9
// Olena is distributed in the hope that it will be useful,
10
// but WITHOUT ANY WARRANTY; without even the implied warranty of
11
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12
// General Public License for more details.
13
//
14
// You should have received a copy of the GNU General Public License
15
// along with Olena. If not, see <http://www.gnu.org/licenses/>.
16
//
17
// As a special exception, you may use this file as part of a free
18
// software project without restriction. Specifically, if other files
19
// instantiate templates or use macros or inline functions from this
20
// file, or you compile this file and link it with other files to produce
21
// an executable, this file does not by itself cause the resulting
22
// executable to be covered by the GNU General Public License. This
23
// exception does not however invalidate any other reasons why the
24
// executable file might be covered by the GNU General Public License.
25
26
#ifndef MLN_FUN_VV2B_IMPLIES_HH
27
# define MLN_FUN_VV2B_IMPLIES_HH
28
32
33
# include <mln/core/concept/function.hh>
34
# include <mln/trait/op/and.hh>
35
36
37
namespace
mln
38
{
39
40
namespace
fun
41
{
42
43
namespace
vv2b
44
{
45
47
template
<
typename
L,
typename
R = L>
48
struct
implies
:
public
Function_vv2b
< implies<L,R> >
49
{
50
bool
operator()
(
const
L& v1,
const
R& v2)
const
;
51
};
52
53
54
# ifndef MLN_INCLUDE_ONLY
55
56
template
<
typename
L,
typename
R>
57
inline
58
bool
59
implies<L,R>::operator()
(
const
L& v1,
const
R& v2)
const
60
{
61
return
(! v1) || v2;
62
}
63
64
# endif // ! MLN_INCLUDE_ONLY
65
66
}
// end of namespace mln::fun::vv2b
67
68
}
// end of namespace mln::fun
69
70
}
// end of namespace mln
71
72
73
#endif // ! MLN_FUN_VV2B_IMPLIES_HH
mln
fun
vv2b
implies.hh
Copyright (C) 2012 EPITA Research and Development Laboratory (LRDE)