Method isSignExt

smt/expr.cpp:514–516

}

bool expr::isSignExt(expr &val) const {
  return isUnOp(val, Z3_OP_SIGN_EXT);
}

bool expr::isAShr(expr &a, expr &b) const {
  return isBinOp(a, b, Z3_OP_BASHR);