| 54 | ~domain_manager() = default; |
| 55 | |
| 56 | void clear_all_data() |
| 57 | { |
| 58 | while (!m_set.empty()) |
| 59 | m_set.pop_no_return(); |
| 60 | while (!m_data.empty()) { |
| 61 | m_data.top().clear(); |
| 62 | m_data.pop_no_return(); |
| 63 | } |
| 64 | } |
| 65 | |
| 66 | bool is_initial() const |
| 67 | { |
no test coverage detected