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