get_bv_sort_size method
\brief Return the size of the given bit-vector sort.
\pre Z3_get_sort_kind(c, t) == Z3_BV_SORT
\sa Z3_mk_bv_sort \sa Z3_get_sort_kind
def_API('Z3_get_bv_sort_size', UINT, (_in(CONTEXT), _in(SORT)))
Implementation
int get_bv_sort_size(
Z3_context c,
Z3_sort t,
) {
return _get_bv_sort_size(
c,
t,
);
}