Milena (Olena)
User documentation 2.0a Id
Main Page
Related Pages
Modules
Namespaces
Classes
All
Classes
Namespaces
Functions
Variables
Typedefs
Enumerator
Groups
Pages
set/has.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_SET_HAS_HH
27
# define MLN_SET_HAS_HH
28
36
# include <mln/core/concept/site_set.hh>
37
38
39
40
namespace
mln
41
{
42
43
namespace
set
44
{
45
47
template
<
typename
S>
48
bool
49
has
(
const
Site_Set<S>& s,
const
mln_site(S)& e);
50
51
52
# ifndef MLN_INCLUDE_ONLY
53
54
template
<
typename
S>
55
bool
56
has
(
const
Site_Set<S>
& s_,
const
mln_site(S)& e)
57
{
58
trace::entering(
"set::has"
);
59
const
S& s = exact(s_);
60
61
mln_precondition(s.is_valid());
62
bool
found =
false
;
63
64
mln_piter(S) p(s);
65
for_all(p)
66
if
(p == e)
67
{
68
found =
true
;
69
break
;
70
}
71
72
trace::exiting(
"set::has"
);
73
return
found;
74
}
75
76
# endif // ! MLN_INCLUDE_ONLY
77
78
}
// end of namespace mln::set
79
80
}
// end of namespace mln
81
82
83
#endif // ! MLN_SET_HAS_HH
mln
set
has.hh
Generated on Thu Nov 8 2012 10:58:07 for Milena (Olena) by
1.8.2-20120930