/* Print writes a vector<T> to a stream.
 *
 * Receives:     type parameter T
 *               an ostream and a vector<T>
 * Precondition: operator << is defined for type T
 * Passes back:  the modified ostream *****************************************************************/

template <class T>
void Print(ostream & out, const vector<T> & theVector)
{
   for (int i = 0; i < theVector.size(); i++)
      out << theVector[i] << ' ';
}