Method sle

smt/expr.cpp:1761–1766

}

expr expr::sle(const expr &rhs) const {
  if (eq(rhs) || rhs.isSMax())
    return true;

  return binop_fold(rhs, Z3_mk_bvsle);
}

expr expr::slt(const expr &rhs) const {
  C();