Definition at line 164 of file overload.cpp.
| specialize_alias_routine_rep | ( | const routine & | fun2, |
| const vector< nat > & | sig2 | ||
| ) | [inline] |
Definition at line 168 of file overload.cpp.
:
routine_rep (gen (GEN_SPECIALIZE_ALIAS, fun2->name)),
fun (fun2), sig (sig2) {}
| generic apply | ( | const vector< generic > & | args ) | const [inline] |
Definition at line 171 of file overload.cpp.
References mmx::type().
{
nat i, n= N(args);
vector<generic> v= fill<generic> (n);
for (i=0; i<n; i++)
if (type (args[i]) == type_id<alias<generic> > ())
v[i]= specialize_alias (args[i]);
else v[i]= args[i];
return fun->apply (v); }
| vector<nat> signature | ( | ) | const [inline] |
Definition at line 179 of file overload.cpp.
{ return sig; }
1.7.2