public void set_name (string name)
Sets the name of the structure to the given
The string provided is copied before being used. It must not be empty, start with a letter and can be followed by letters, numbers and any of "/-_.:".
the new name of the structure