If you want the names:

Code:
const char* resolution_name[] = { "low", "medium", "high" };
int width, height;
dm[res].get( width, height );
std::cout << resolution_name[res] << ": " << width << 'x' << height << std::endl;