| apply(const generic &fun) const | base_evaluator_rep | [virtual] |
| apply(const generic &fun, const generic &x1) const | base_evaluator_rep | [virtual] |
| apply(const generic &fun, const generic &x1, const generic &x2) const | base_evaluator_rep | [virtual] |
| apply(const generic &fun, const vector< generic > &v) const | base_evaluator_rep | [virtual] |
| base_evaluator_rep() | base_evaluator_rep | [inline] |
| base_evaluator_rep(const evaluator &ev) | base_evaluator_rep | [inline] |
| construct(const generic &x) const | base_evaluator_rep | [virtual] |
| contains(const generic &var) const | base_evaluator_rep | [virtual] |
| env | base_evaluator_rep | [protected] |
| eval(const generic &x) const | base_evaluator_rep | [virtual] |
| eval_cdr(const vector< generic > &x) const | base_evaluator_rep | [virtual] |
| evaluator | evaluator_rep | [friend] |
| evaluator_rep() | evaluator_rep | |
| get(const generic &var) const | base_evaluator_rep | [virtual] |
| get(const generic &var, generic &val) const | base_evaluator_rep | [virtual] |
| get_internal_data() const | base_evaluator_rep | [virtual] |
| overload(const generic &var, const generic &val, nat p) const | base_evaluator_rep | [virtual] |
| ref_count | evaluator_rep | |
| rep_struct() | rep_struct | |
| reset(const generic &var) const | base_evaluator_rep | [virtual] |
| set(const generic &var, const generic &val) const | base_evaluator_rep | [virtual] |
| ~evaluator_rep() | evaluator_rep | [virtual] |
| ~rep_struct() | rep_struct | [virtual] |
1.6.1