Method canOnlyRead

ir/state.cpp:43–49

}

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

expr SMTMemoryAccess::canOnlyWrite(AccessType ty) const {
  AndExpr ret;