get_numeral_uint64 method

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

\brief Similar to #Z3_get_numeral_string, but only succeeds if the value can fit in a machine \c uint64_t 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_uint64', BOOL, (_in(CONTEXT), _in(AST), _out(UINT64)))

Implementation

bool get_numeral_uint64(
  Z3_context c,
  Z3_ast v,
  ffi.Pointer<ffi.Uint64> u,
) {
  return _get_numeral_uint64(
    c,
    v,
    u,
  );
}