Method printSigned

smt/expr.cpp:2436–2443

}

void expr::printSigned(ostream &os) const {
  if (isNegative().isTrue()) {
    os << '-';
    (~*this + mkUInt(1, sort())).printUnsigned(os);
  } else {
    printUnsigned(os);
  }
}

void expr::printHexadecimal(ostream &os) const {
  auto rem = bits() % 4;