Z3_fixedpoint_reduce_assign_callback_fptr typedef

Z3_fixedpoint_reduce_assign_callback_fptr = NativeFunction<Void Function(Pointer<Void>, Z3_func_decl, UnsignedInt, Pointer<Z3_ast>, UnsignedInt, Pointer<Z3_ast>)>

\brief The following utilities allows adding user-defined domains.

Implementation

typedef Z3_fixedpoint_reduce_assign_callback_fptr = ffi.NativeFunction<
    ffi.Void Function(ffi.Pointer<ffi.Void>, Z3_func_decl, ffi.UnsignedInt,
        ffi.Pointer<Z3_ast>, ffi.UnsignedInt, ffi.Pointer<Z3_ast>)>;