Method ult

smt/expr.cpp:1735–1742

}

expr expr::ult(const expr &rhs) const {
  C();
  uint64_t n;
  if (rhs.isUInt(n))
    return n == 0 ? false : ule(mkUInt(n - 1, sort()));

  return !rhs.ule(*this);
}

expr expr::uge(const expr &rhs) const {
  return rhs.ule(*this);