void narrow_with()

in include/IntervalDomain.h [192:210]

• 15 lines of code
• 5 McCabe index (conditional complexity)

  void narrow_with(const IntervalDomain& that) override {
    if (that.is_bottom()) {
      set_to_bottom();
      return;
    }

    if (m_lb == MIN) {
      m_lb = that.m_lb;
    }

    if (m_ub == MAX) {
      m_ub = that.m_ub;
    }

    if (is_bottom()) {
      // Normalize the representation of bottom to simplify equality.
      set_to_bottom();
    }
  }