Z3
Public Member Functions
constructor_list Class Reference

Public Member Functions

 constructor_list (constructors const &cs)
 
 ~constructor_list ()
 
 operator Z3_constructor_list () const
 

Detailed Description

Definition at line 3362 of file z3++.h.

Constructor & Destructor Documentation

◆ constructor_list()

constructor_list ( constructors const &  cs)
inline

Definition at line 3416 of file z3++.h.

3416  : ctx(cs.ctx) {
3417  array<Z3_constructor> cons(cs.size());
3418  for (unsigned i = 0; i < cs.size(); ++i)
3419  cons[i] = cs[i];
3420  clist = Z3_mk_constructor_list(ctx, cs.size(), cons.ptr());
3421  }

◆ ~constructor_list()

~constructor_list ( )
inline

Definition at line 3367 of file z3++.h.

3367 { Z3_del_constructor_list(ctx, clist); }

Member Function Documentation

◆ operator Z3_constructor_list()

operator Z3_constructor_list ( ) const
inline

Definition at line 3368 of file z3++.h.

3368 { return clist; }
Z3_del_constructor_list
void Z3_API Z3_del_constructor_list(Z3_context c, Z3_constructor_list clist)
Reclaim memory allocated for constructor list.
Z3_mk_constructor_list
Z3_constructor_list Z3_API Z3_mk_constructor_list(Z3_context c, unsigned num_constructors, Z3_constructor const constructors[])
Create list of constructors.