| as_double(const string &s) | string_rep | [friend] |
| as_int(const string &s) | string_rep | [friend] |
| busy(const string &s) | string_rep | [friend] |
| copy(const string &s) | string_rep | [friend] |
| extend(nat n) | string_rep | |
| inside(const string &s, nat pos) | string_rep | [friend] |
| N(const string &s) | string_rep | [friend] |
| operator*(const string &s, const string &t) | string_rep | [friend] |
| read(const string &s, nat i) | string_rep | [friend] |
| ref_count | rep_struct | |
| rep_struct() | rep_struct | [inline] |
| resize(nat n) | string_rep | |
| S(string &s) | string_rep | [friend] |
| S(const string &s) | string_rep | [friend] |
| string class | string_rep | [friend] |
| string_rep(nat n2) | string_rep | [inline] |
| ~rep_struct() | rep_struct | [inline, virtual] |
| ~string_rep() | string_rep | [inline] |
1.6.1