bool operator()

in include/DisjointUnionAbstractDomain.h [231:245]


  bool operator()(const Domain& d1, const OtherDomain& d2) const {
    if (d1.is_bottom()) {
      return true;
    }
    if (d2.is_bottom()) {
      return false;
    }
    if (d2.is_top()) {
      return true;
    }
    if (d1.is_top()) {
      return false;
    }
    return false;
  }