get_numeral_uint method

bool get_numeral_uint(
  1. Z3_context c,
  2. Z3_ast v,
  3. Pointer<UnsignedInt> u
)

\brief Similar to #Z3_get_numeral_string, but only succeeds if the value can fit in a machine unsigned int. Return \c true if the call succeeded.

\pre Z3_get_ast_kind(c, v) == Z3_NUMERAL_AST

\sa Z3_get_numeral_string

def_API('Z3_get_numeral_uint', BOOL, (_in(CONTEXT), _in(AST), _out(UINT)))

Implementation

bool get_numeral_uint(
  Z3_context c,
  Z3_ast v,
  ffi.Pointer<ffi.UnsignedInt> u,
) {
  return _get_numeral_uint(
    c,
    v,
    u,
  );
}