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

Constructor & Destructor Documentation

constructor_list ( constructors const &  cs)
inline

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

3537  : ctx(cs.ctx) {
3538  array<Z3_constructor> cons(cs.size());
3539  for (unsigned i = 0; i < cs.size(); ++i)
3540  cons[i] = cs[i];
3541  clist = Z3_mk_constructor_list(ctx, cs.size(), cons.ptr());
3542  }
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 ( )
inline

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

3488 { 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 ( ) const
inline

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

3489 { return clist; }