get_finite_domain_sort_size method
\brief Store the size of the sort in \c r. Return \c false if the call failed. That is, Z3_get_sort_kind(s) == Z3_FINITE_DOMAIN_SORT
def_API('Z3_get_finite_domain_sort_size', BOOL, (_in(CONTEXT), _in(SORT), _out(UINT64)))
Implementation
bool get_finite_domain_sort_size(
Z3_context c,
Z3_sort s,
ffi.Pointer<ffi.Uint64> r,
) {
return _get_finite_domain_sort_size(
c,
s,
r,
);
}