Method canWriteSomething

ir/state.cpp:67–73

}

expr SMTMemoryAccess::canWriteSomething() const {
  OrExpr ret;
  for (unsigned i = 0; i < AccessType::NumTypes; ++i) {
    ret.add(canWrite(AccessType(i)));
  }
  return ret();
}

expr SMTMemoryAccess::refinedBy(const SMTMemoryAccess &other) const {
  return (val & other.val) == val;