rcf_mk_rational method

Z3_rcf_num rcf_mk_rational(Z3_context c, Z3_string val)

\brief Return a RCF rational using the given string.

def_API('Z3_rcf_mk_rational', RCF_NUM, (_in(CONTEXT), _in(STRING)))

Implementation

Z3_rcf_num rcf_mk_rational(
  Z3_context c,
  Z3_string val,
) {
  return _rcf_mk_rational(
    c,
    val,
  );
}