Method ceil

smt/expr.cpp:1320–1322

}

expr expr::ceil() const {
  return round(rtp());
}

expr expr::floor() const {
  return round(rtn());