void save_table(
const std::string& filename,
const table_type& table)
{
APP_DEBUG_FNAME;
DEBUG("save: %s", filename);
using std::endl;
std::ofstream out(filename);
size_t m, n;
m = table.size();
n = table.at(0).size();
out
<< m
<< " "
<< n
<< endl;
for (size_t i = 0; i < m; ++i)
{
for (size_t j = 0; j < n; ++j)
{
const table_value_type& val = table[i][j];
out << file_value_type(val) << " ";
}
out << endl;
}
if (out.fail())
throw io_exception("save_table(%s) failed", filename);
}
string_type const& operator[](size_type i) const {
return table_.at(i);
}
