Method isSMin

smt/expr.cpp:435–437

}

bool expr::isSMin() const {
  return eq(IntSMin(bits()));
}

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