append_structure
Description:
public void append_structure (
owned Structure structure)
Appends structure to this.
The structure is not copied; this becomes the owner of structure.
Parameters:
| this |
the Caps that will be appended to
|
| structure |
the Structure to append
|