Method smax

smt/expr.cpp:1135–1137

}

expr expr::smax(const expr &rhs) const {
  return mkIf(sge(rhs), *this, rhs);
}

expr expr::abs() const {
  C();