18 template<
class Element>
21 out << vec.size() <<
" ";
22 typename std::vector<Element>::const_iterator vi;
23 for (vi = vec.begin(); vi != vec.end(); ++vi) {
34 template<
class Element>
void idf_output_vector(std::ostream &out, const std::vector< Element > &vec)
Writes the indicated vector to the output file.
void idf_input_vector(std::istream &in, std::vector< Element > &vec)
Reads the given vector from the input file, as previously written by output_string().