void add()

in include/PatriciaTreeOverUnderSetAbstractDomain.h [195:205]

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

  void add(const PatriciaTreeOverUnderSetAbstractDomain& other) {
    if (this->is_top() || other.is_bottom()) {
      return;
    } else if (other.is_top()) {
      this->set_to_top();
    } else if (this->is_bottom()) {
      this->set_to_value(*other.get_value());
    } else {
      this->get_value()->add(*other.get_value());
    }
  }