|  | Home | Libraries | People | FAQ | More | 
Append a character.
void push_back( char ch);
Appends a character to the end of the string.
Strong guarantee.
| Name | Description | 
|---|---|
| 
                     | The character to append. | 
| Type | Thrown On | 
|---|---|
| 
                     | 
                     |