void add_names_from(InternalNameCollection const &other)
Adds all the
InternalNamesindicated in the other collection to this name. The other names are simply appended to the end of the names in this list; duplicates are not automatically removed.
bool has_name(InternalName const *name) const
Returns true if the indicated
InternalNameappears in this collection, false otherwise.
void output(std::ostream &out) const
Writes a brief one-line description of the
InternalNameCollectionto the indicated output stream.
bool remove_name(InternalName const *name)
Removes the indicated
InternalNamefrom the collection. Returns true if the name was removed, false if it was not a member of the collection.
void remove_names_from(InternalNameCollection const &other)
Removes from this collection all of the
InternalNameslisted in the other collection.
int size(void) const
Returns the number of names in the collection. This is the same thing as