Operation Bag<T> union (Set<T> other), in Class Bag

Documentation
This union increments the count for each element in the set that is in the bag (from 0 to 1 for elements not in the bag).

Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics