32 void add(
unsigned time) {
33 m_values.push_back(time);
38 std::set_intersection(m_values.begin(), m_values.end(),
39 other.m_values.begin(), other.m_values.end(),
40 std::back_inserter(result.m_values));
46 std::set_union(m_values.begin(), m_values.end(),
47 other.m_values.begin(), other.m_values.end(),
48 std::back_inserter(result.m_values));
54 m_values = setunion(other).m_values;
57 bool empty()
const {
return m_values.empty(); }
60 std::vector<unsigned> m_values;