Milena (Olena)  User documentation 2.0a Id
 All Classes Namespaces Functions Variables Typedefs Enumerator Groups Pages
site_set_base.hh
1 // Copyright (C) 2007, 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_CORE_INTERNAL_SITE_SET_BASE_HH
27 # define MLN_CORE_INTERNAL_SITE_SET_BASE_HH
28 
33 
34 # include <mln/core/concept/site_set.hh>
35 # include <mln/core/concept/site_proxy.hh>
36 
37 
38 namespace mln
39 {
40 
41  namespace internal
42  {
43 
44 
51  template <typename P, typename E>
52  struct site_set_base_ : public Site_Set<E>
53  {
55  typedef typename subject<P>::ret site;
56 
60  bool is_empty() const;
61 
62  protected:
63  site_set_base_();
64 
65  private:
66  // Default impl based on the number of sites. It can be
67  // overridden in subclasses that do not feature the 'nsites'
68  // method.
69  bool is_empty_() const;
70  };
71 
72 
73 # ifndef MLN_INCLUDE_ONLY
74 
75  template <typename P, typename E>
76  inline
77  site_set_base_<P,E>::site_set_base_()
78  {
79  }
80 
81  template <typename P, typename E>
82  inline
83  bool
84  site_set_base_<P,E>::is_empty() const
85  {
86  return exact(this)->is_empty_();
87  }
88 
89  template <typename P, typename E>
90  inline
91  bool
92  site_set_base_<P,E>::is_empty_() const
93  {
94  mlc_is(mln_trait_site_set_nsites(E),
95  trait::site_set::nsites::known)::check();
96  return exact(this)->nsites() == 0;
97  }
98 
99 # endif // ! MLN_INCLUDE_ONLY
100 
101  } // end of namespace mln::internal
102 
103 } // end of namespace mln
104 
105 
106 #endif // ! MLN_CORE_INTERNAL_SITE_SET_BASE_HH