get_numeral_int64 method

bool get_numeral_int64(
  1. Z3_context c,
  2. Z3_ast v,
  3. Pointer<Int64> i
)

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

Implementation

bool get_numeral_int64(
  Z3_context c,
  Z3_ast v,
  ffi.Pointer<ffi.Int64> i,
) {
  return _get_numeral_int64(
    c,
    v,
    i,
  );
}