mk_constructor_list method

Z3_constructor_list mk_constructor_list(
  1. Z3_context c,
  2. int num_constructors,
  3. Pointer<Z3_constructor> constructors
)

\brief Create list of constructors.

\param c logical context. \param num_constructors number of constructors in list. \param constructors list of constructors.

\sa Z3_del_constructor_list \sa Z3_mk_constructor

def_API('Z3_mk_constructor_list', CONSTRUCTOR_LIST, (_in(CONTEXT), _in(UINT), _in_array(1, CONSTRUCTOR)))

Implementation

Z3_constructor_list mk_constructor_list(
  Z3_context c,
  int num_constructors,
  ffi.Pointer<Z3_constructor> constructors,
) {
  return _mk_constructor_list(
    c,
    num_constructors,
    constructors,
  );
}