17 INLINE InternalNameCollection::
18 ~InternalNameCollection() {
void operator+=(const InternalNameCollection &other)
Appends the other list onto the end of this one.
void add_names_from(const InternalNameCollection &other)
Adds all the InternalNames indicated in the other collection to this name.
InternalNameCollection operator+(const InternalNameCollection &other) const
Returns a InternalNameCollection representing the concatenation of the two lists.