Method isSMax

smt/expr.cpp:439–441

}

bool expr::isSMax() const {
  return eq(IntSMax(bits()));
}

expr expr::isNegative() const {
  return sign() == 1;