21 INLINE InternalNameCollection::
22 ~InternalNameCollection() {
InternalNameCollection operator+(const InternalNameCollection &other) const
Returns a InternalNameCollection representing the concatenation of the two lists. ...
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.