bool contains()

in include/SmallSortedSetAbstractDomain.h [160:172]

• 13 lines of code
• 4 McCabe index (conditional complexity)

  bool contains(const Element& e) const {
    switch (this->kind()) {
    case AbstractValueKind::Bottom: {
      return false;
    }
    case AbstractValueKind::Top: {
      return true;
    }
    case AbstractValueKind::Value: {
      return this->get_value()->contains(e);
    }
    }
  }