Definition at line 63 of file overload.cpp.
| dynamic_routine_rep | ( | const routine & | r2 ) | [inline] |
Definition at line 66 of file overload.cpp.
:
routine_rep (gen ("dynamic", r2->name)), r (r2) {}
| generic apply | ( | const vector< generic > & | v ) | const [inline] |
Definition at line 68 of file overload.cpp.
{
vector<dynamic> a= fill<generic> (N(v));
for (nat i=0; i<N(v); i++)
if (is<dynamic> (v[i])) a[i]= as<dynamic> (v[i]);
else a[i]= dynamic (v[i]);
return as<generic> (dynamic (r, a)); }
| vector<nat> signature | ( | ) | const [inline] |
Definition at line 74 of file overload.cpp.
{
return vec<nat> (type_information<dynamic>::id,
type_information<tuple<dynamic> >::id); }
1.7.2