Method sextOrTrunc

smt/expr.cpp:1852–1855

}

expr expr::sextOrTrunc(unsigned tobw) const {
  auto bw = bits();
  return bw < tobw ? sext(tobw - bw) : trunc(tobw);
}

expr expr::zextOrTrunc(unsigned tobw) const {
  auto bw = bits();