| 77 | } |
| 78 | |
| 79 | SMTMemoryAccess |
| 80 | SMTMemoryAccess::SMTMemoryAccess::mkIf(const expr &cond, |
| 81 | const SMTMemoryAccess &then, |
| 82 | const SMTMemoryAccess &els) { |
| 83 | return expr::mkIf(cond, then.val, els.val); |
| 84 | } |
| 85 | |
| 86 | |
| 87 | expr State::CurrentDomain::operator()() const { |