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 3534 of file z3++.h.

Constructor & Destructor Documentation

◆ constructor_list()

constructor_list ( constructors const &  cs)
inline

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

3588  : ctx(cs.ctx) {
3589  array<Z3_constructor> cons(cs.size());
3590  for (unsigned i = 0; i < cs.size(); ++i)
3591  cons[i] = cs[i];
3592  clist = Z3_mk_constructor_list(ctx, cs.size(), cons.ptr());
3593  }
Z3_constructor_list Z3_API Z3_mk_constructor_list(Z3_context c, unsigned num_constructors, Z3_constructor const constructors[])
Create list of constructors.

◆ ~constructor_list()

~constructor_list ( )
inline

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

3539 { Z3_del_constructor_list(ctx, clist); }
void Z3_API Z3_del_constructor_list(Z3_context c, Z3_constructor_list clist)
Reclaim memory allocated for constructor list.

Member Function Documentation

◆ operator Z3_constructor_list()

operator Z3_constructor_list ( ) const
inline

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

3540 { return clist; }