Method umax

smt/expr.cpp:1127–1129

}

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

expr expr::smin(const expr &rhs) const {
  return mkIf(sle(rhs), *this, rhs);