Method ashr

smt/expr.cpp:931–936

}

expr expr::ashr(const expr &rhs) const {
  if (isZero() || rhs.isZero())
    return *this;

  return binop_fold(rhs, Z3_mk_bvashr);
}

expr expr::lshr(const expr &rhs) const {
  C();