Method isBV

smt/expr.cpp:395–398

}

bool expr::isBV() const {
  C();
  return Z3_get_sort_kind(ctx(), sort()) == Z3_BV_SORT;
}

bool expr::isBool() const {
  C();