del_constructor method

void del_constructor(
  1. Z3_context c,
  2. Z3_constructor constr
)

\brief Reclaim memory allocated to constructor.

\param c logical context. \param constr constructor.

\sa Z3_mk_constructor

def_API('Z3_del_constructor', VOID, (_in(CONTEXT), _in(CONSTRUCTOR)))

Implementation

void del_constructor(
  Z3_context c,
  Z3_constructor constr,
) {
  return _del_constructor(
    c,
    constr,
  );
}