get_numeral_rational_int64 method

bool get_numeral_rational_int64(
  1. Z3_context c,
  2. Z3_ast v,
  3. Pointer<Int64> num,
  4. Pointer<Int64> den,
)

\brief Similar to #Z3_get_numeral_string, but only succeeds if the value can fit as a rational number as 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_rational_int64', BOOL, (_in(CONTEXT), _in(AST), _out(INT64), _out(INT64)))

Implementation

bool get_numeral_rational_int64(
  Z3_context c,
  Z3_ast v,
  ffi.Pointer<ffi.Int64> num,
  ffi.Pointer<ffi.Int64> den,
) {
  return _get_numeral_rational_int64(
    c,
    v,
    num,
    den,
  );
}