Method isPowerOf2

smt/expr.cpp:1052–1054

}

expr expr::isPowerOf2() const {
  return *this != 0 && (*this & (*this - mkUInt(1, *this))) == 0;
}

expr expr::log2(unsigned bw_output) const {
  C();