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_FUN_BINARY_HH
00027 # define MLN_FUN_BINARY_HH
00028
00029 # include <mln/core/concept/meta_function.hh>
00030 # include <mln/fun/spe/binary.hh>
00031 # include <mln/trait/next/solve.hh>
00032 # include <mln/trait/functions.hh>
00033
00034 namespace mln
00035 {
00036
00037 namespace fun
00038 {
00039
00040 template <typename F, typename E = F>
00041 struct binary : mln::Meta_Function_vv2v< E >
00042 {
00043 typedef F flag;
00044 typedef mln_trait_fun_storage(flag) storage;
00045
00046 template <typename T1, typename T2>
00047 struct with
00048 {
00049 typedef spe::binary<F, T1, T2> ret;
00050 };
00051
00052 template <typename T1, typename T2>
00053 typename with<T1, T2>::ret::result operator()(const T1& a, const T2& b) const
00054 {
00055 return typename with<T1, T2>::ret(state())(a, b);
00056 }
00057
00058 template <typename U>
00059 void init(const U& value)
00060 {
00061 state_ = mln::trait::function::internal::introspect::has_storage_t<flag, void>::compute(value);
00062 };
00063
00064 binary()
00065 {
00066 }
00067
00068 template <typename U>
00069 binary(const U& param)
00070 {
00071 this->init(param);
00072 }
00073
00074 stored<storage>& state()
00075 {
00076 return state_;
00077 }
00078
00079 const stored<storage>& state() const
00080 {
00081 return state_;
00082 }
00083
00084 protected:
00085 stored<storage> state_;
00086 };
00087
00088 }
00089
00090 }
00091
00092 #endif // ! MLN_FUN_BINARY_HH