bool equals()

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;
  }