[−][src]Function z3_sys::Z3_fixedpoint_to_string
pub unsafe extern "C" fn Z3_fixedpoint_to_string(
c: Z3_context,
f: Z3_fixedpoint,
num_queries: c_uint,
queries: *mut Z3_ast
) -> Z3_string
Print the current rules and background axioms as a string.
c
: - context.f
: - fixedpoint context.num_queries
: - number of additional queries to print.queries
: - additional queries.