Method floor

smt/expr.cpp:1324–1326

}

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

expr expr::round(const expr &rm) const {
  C(rm);