Method umin

smt/expr.cpp:1123–1125

}

expr expr::umin(const expr &rhs) const {
  return mkIf(ule(rhs), *this, rhs);
}

expr expr::umax(const expr &rhs) const {
  return mkIf(uge(rhs), *this, rhs);