Esempio n. 1
0
 void swap (interval_set& is) {
   if (this != &is) {
     m_set.swap (is.m_set);
   }
 }