Method zext

smt/expr.cpp:1842–1846

}

expr expr::zext(unsigned amount) const {
  if (amount == 0)
    return *this;
  return mkUInt(0, amount).concat(*this);
}

expr expr::trunc(unsigned tobw) const {
  return extract(tobw-1, 0);