Function z3_sys::Z3_del_constructor_list

source · 
pub unsafe extern "C" fn Z3_del_constructor_list(
    c: Z3_context,
    clist: Z3_constructor_list
)
Expand description

Reclaim memory allocated for constructor list.

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

  • c: logical context.
  • clist: constructor list container.

See also: