mk_real_int64 method

Z3_ast mk_real_int64(
  1. Z3_context c,
  2. int num,
  3. int den
)

\brief Create a real from a fraction of int64.

\sa Z3_mk_real def_API('Z3_mk_real_int64', AST, (_in(CONTEXT), _in(INT64), _in(INT64)))

Implementation

Z3_ast mk_real_int64(
  Z3_context c,
  int num,
  int den,
) {
  return _mk_real_int64(
    c,
    num,
    den,
  );
}