Z3
 
Loading...
Searching...
No Matches
Public Member Functions
constructor_list Class Reference

#include <z3++.h>

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

3367{ 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 3368 of file z3++.h.

3368{ return clist; }