apply() const | change_signature_routine_rep | [inline, virtual] |
apply(const generic &x1) const | change_signature_routine_rep | [inline, virtual] |
apply(const generic &x1, const generic &x2) const | change_signature_routine_rep | [inline, virtual] |
apply(const vector< generic > &v) const | change_signature_routine_rep | [inline, virtual] |
change_signature_routine_rep(const routine &r2, const vector< nat > &sig2) | change_signature_routine_rep | [inline] |
clone() const | routine_rep | [virtual] |
function_body() const | routine_rep | [virtual] |
function_type() const | routine_rep | [virtual] |
is_overloaded() const | routine_rep | [virtual] |
meanings() const | routine_rep | [virtual] |
name | routine_rep | |
overload(const routine &fun) const | routine_rep | [virtual] |
ref_count | rep_struct | |
rep_struct() | rep_struct | [inline] |
routine_rep(const generic &name2) | routine_rep | [inline] |
signature() const | change_signature_routine_rep | [inline, virtual] |
~rep_struct() | rep_struct | [inline, virtual] |
~routine_rep() | routine_rep | [inline, virtual] |