void meet_like_operation()

in include/PatriciaTreeMapAbstractPartition.h [191:202]

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

  void meet_like_operation(
      const PatriciaTreeMapAbstractPartition& other,
      std::function<Domain(const Domain&, const Domain&)> operation) {
    if (is_top()) {
      *this = other;
      return;
    }
    if (other.is_top()) {
      return;
    }
    m_map.intersection_with(operation, other.m_map);
  }