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;
}