bool leq()

in include/HashedSetAbstractDomain.h [55:65]

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

  bool leq(const SetValue& other) const override {
    if (m_set.size() > other.m_set.size()) {
      return false;
    }
    for (const Element& e : m_set) {
      if (other.m_set.count(e) == 0) {
        return false;
      }
    }
    return true;
  }