| 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
 1.6.1