Method isOne

smt/expr.cpp:425–428

}

bool expr::isOne() const {
  uint64_t n;
  return isUInt(n) && n == 1;
}

bool expr::isAllOnes() const {
  C();