Method canOnlyWrite

ir/state.cpp:51–57

}

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

expr SMTMemoryAccess::canReadSomething() const {
  OrExpr ret;