get_numeral_int method

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

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

Implementation

bool get_numeral_int(
  Z3_context c,
  Z3_ast v,
  ffi.Pointer<ffi.Int> i,
) {
  return _get_numeral_int(
    c,
    v,
    i,
  );
}