#include <routine.hpp>
Definition at line 245 of file routine.hpp.
binary_routine_rep | ( | const generic & | name, | |
function_type | fun2 | |||
) | [inline] |
Definition at line 249 of file routine.hpp.
00249 : 00250 routine_rep (name), fun (fun2) {} generic apply (const generic& x1, const generic& x2) const {
Reimplemented in unary_routine_rep< D, S1 >, unary_routine_rep< void, S1 >, identity_routine_rep, composed_routine_rep, change_signature_routine_rep, and integrate_routine_rep.
Definition at line 42 of file routine.cpp.
References routine_rep::apply().
00042 { 00043 return apply (vec<generic> (g1)); 00044 }
generic apply | ( | ) | const [virtual, inherited] |
Reimplemented in nullary_routine_rep< void >, change_signature_routine_rep, and integrate_routine_rep.
Definition at line 37 of file routine.cpp.
Referenced by routine_rep::apply().
00037 { 00038 return apply (vec<generic> ()); 00039 }
Reimplemented from routine_rep.
Definition at line 255 of file routine.hpp.
References mmx::apply(), ASSERT, and mmx::N().
Reimplemented from routine_rep.
Definition at line 251 of file routine.hpp.
References mmx::void_value().
00251 { 00252 fun (make_concrete<S1> (x1), make_concrete<S2> (x2)); 00253 return void_value (); 00254 }
routine clone | ( | ) | const [virtual, inherited] |
Definition at line 91 of file routine.cpp.
References ERROR.
generic function_body | ( | ) | const [virtual, inherited] |
Definition at line 81 of file routine.cpp.
generic function_type | ( | ) | const [virtual, inherited] |
Definition at line 86 of file routine.cpp.
References mmx::gen(), mmx::GEN_FUNCTION_TYPE, routine_rep::signature(), and mmx::type_name().
00086 { 00087 return gen (GEN_FUNCTION_TYPE, type_name (signature ())); 00088 }
bool is_overloaded | ( | ) | const [virtual, inherited] |
Definition at line 71 of file routine.cpp.
Definition at line 76 of file routine.cpp.
References ERROR.
00076 { 00077 ERROR ("not implemented (meanings)"); 00078 }
void overload | ( | const routine & | fun | ) | const [virtual, inherited] |
Definition at line 66 of file routine.cpp.
References ERROR.
00066 { 00067 ERROR ("not implemented (overload)"); 00068 }
Reimplemented from routine_rep.
Definition at line 259 of file routine.hpp.
00259 { 00260 return vec<nat> ((nat) 0, 00261 type_information<S1>::id, 00262 type_information<S2>::id); 00263 }
Definition at line 64 of file routine.hpp.
Referenced by routine_rep::apply().