Definition at line 216 of file glue_class.cpp.
| access_routine_rep | ( | nat | i, |
| nat | a, | ||
| nat | d | ||
| ) | [inline] |
Definition at line 219 of file glue_class.cpp.
:
routine_rep (GEN_ACCESS), index (i), arg_tp (a), dest_tp (d) {}
| generic apply | ( | const generic & | a ) | const [inline] |
Definition at line 221 of file glue_class.cpp.
{
vector<generic> v= as<vector<generic> > (as_generic (a, arg_tp));
ASSERT (N(v) > index, "invalid data structure");
return v[index];
}
| vector<nat> signature | ( | ) | const [inline] |
Definition at line 226 of file glue_class.cpp.
{ return vec<nat> (dest_tp, arg_tp); }
1.7.2