double volume(const IntervalVector& x) { double vol = 1.0; for (auto itr = x.begin(); itr != x.end(); ++itr) { const auto& interval = *itr; vol *= interval.get_upper() - interval.get_lower(); } return vol; }