const boost::optional maybe_get()

in include/DisjointUnionAbstractDomain.h [137:149]


  const boost::optional<Domain> maybe_get() const {
    if (is_top()) {
      return Domain::top();
    }
    if (is_bottom()) {
      return Domain::bottom();
    }
    auto* dom = boost::get<Domain>(&m_variant);
    if (dom == nullptr) {
      return boost::none;
    }
    return *dom;
  }