Method del

smt/exprs.cpp:44–47

}

void AndExpr::del(const AndExpr &other) {
  for (auto &e : other.exprs)
    exprs.erase(e);
}

expr AndExpr::propagate(const AndExpr &other) const {
  vector<expr> ret;