in include/HashedAbstractPartition.h [172:186]
bool equals(const HashedAbstractPartition& other) const override {
if (m_is_top != other.m_is_top || m_map.size() != other.m_map.size()) {
return false;
}
for (const auto& binding : m_map) {
auto it = other.m_map.find(binding.first);
if (it == other.m_map.end()) {
return false;
}
if (!binding.second.equals(it->second)) {
return false;
}
}
return true;
}