void join_like_operation()

in include/PatriciaTreeMapAbstractPartition.h [178:189]

• 12 lines of code
• 3 McCabe index (conditional complexity)

  void join_like_operation(
      const PatriciaTreeMapAbstractPartition& other,
      std::function<Domain(const Domain&, const Domain&)> operation) {
    if (is_top()) {
      return;
    }
    if (other.is_top()) {
      set_to_top();
      return;
    }
    m_map.union_with(operation, other.m_map);
  }