Method log2

smt/expr.cpp:1056–1059

}

expr expr::log2(unsigned bw_output) const {
  C();
  return log2_rec(*this, bits() - 1, bw_output);
}

expr expr::bswap() const {
  C();