get_finite_domain_sort_size method

bool get_finite_domain_sort_size(
  1. Z3_context c,
  2. Z3_sort s,
  3. Pointer<Uint64> r
)

\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,
  );
}