00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026 #ifndef MLN_CORE_CONCEPT_VALUE_SET_HH
00027 # define MLN_CORE_CONCEPT_VALUE_SET_HH
00028
00033 # include <mln/core/concept/value_iterator.hh>
00034
00035
00036 namespace mln
00037 {
00038
00039
00040 template <typename E> struct Value_Set;
00041
00042
00043 template <>
00044 struct Value_Set<void>
00045 {
00046 typedef Object<void> super;
00047 };
00048
00049
00055 template <typename E>
00056 struct Value_Set : public Object<E>
00057 {
00058 typedef Value_Set<void> category;
00059
00060
00061
00062
00063
00064
00065
00066
00067
00068
00069
00070
00071
00072
00073 protected:
00074 Value_Set();
00075 };
00076
00077
00078 template <typename E>
00079 std::ostream& operator<<(std::ostream& ostr, const Value_Set<E>& vs);
00080
00081
00082 # ifndef MLN_INCLUDE_ONLY
00083
00084 template <typename E>
00085 inline
00086 Value_Set<E>::Value_Set()
00087 {
00088 typedef mln_value(E) value;
00089 typedef mln_fwd_viter(E) fwd_viter;
00090 typedef mln_bkd_viter(E) bkd_viter;
00091
00092 bool (E::*m1)(const value&) const = & E::has;
00093 m1 = 0;
00094 value (E::*m2)(unsigned) const = & E::operator[];
00095 m2 = 0;
00096 unsigned (E::*m3)() const = & E::nvalues;
00097 m3 = 0;
00098 }
00099
00100 template <typename E>
00101 inline
00102 std::ostream& operator<<(std::ostream& ostr, const Value_Set<E>& vs_)
00103 {
00104 const E& vs = exact(vs_);
00105 ostr << "{ ";
00106 for (unsigned i = 0; i < vs.nvalues(); ++i)
00107 std::cout << vs[i] << ' ';
00108 return ostr << '}';
00109 }
00110
00111 # endif // ! MLN_INCLUDE_ONLY
00112
00113 }
00114
00115
00116 #endif // ! MLN_CORE_CONCEPT_VALUE_SET_HH