del_constructor_list method

void del_constructor_list(
  1. Z3_context c,
  2. Z3_constructor_list clist
)

\brief Reclaim memory allocated for constructor list.

Each constructor inside the constructor list must be independently reclaimed using #Z3_del_constructor.

\param c logical context. \param clist constructor list container.

\sa Z3_mk_constructor_list

def_API('Z3_del_constructor_list', VOID, (_in(CONTEXT), _in(CONSTRUCTOR_LIST)))

Implementation

void del_constructor_list(
  Z3_context c,
  Z3_constructor_list clist,
) {
  return _del_constructor_list(
    c,
    clist,
  );
}