rm io mode BENCHMARK

This commit is contained in:
Michael Hemmer 2006-11-24 09:38:31 +00:00
parent 33e583f485
commit f1eced21ab
1 changed files with 1 additions and 14 deletions

View File

@ -66,13 +66,6 @@ set_pretty_mode(std::ios& i)
return m;
}
IO::Mode
set_benchmark_mode(std::ios& i)
{
return set_mode( i, IO::BENCHMARK );
}
IO::Mode
set_mode(std::ios& i, IO::Mode m)
{
@ -100,14 +93,8 @@ is_binary(std::ios& i)
return i.iword(IO::mode) == IO::BINARY;
}
bool
is_benchmark(std::ios& i)
{
return i.iword(IO::mode) == IO::BENCHMARK;
}
const char* mode_name( IO::Mode m) {
static const char* const names[] = {"ASCII", "PRETTY", "BENCHMARK", "BINARY" };
static const char* const names[] = {"ASCII", "PRETTY", "BINARY" };
CGAL_assertion( IO::ASCII <= m && m <= IO::BINARY );
return names[m];
}