constructor_list Class Reference

Public Member Functions
	constructor_list (constructors const &cs)
	~constructor_list ()
	operator Z3_constructor_list () const

Detailed Description

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

Constructor & Destructor Documentation

constructor_list ( constructors const &  cs )

inline

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

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

~constructor_list ( )

inline

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

{ Z3_del_constructor_list(ctx, clist); }

Member Function Documentation

operator Z3_constructor_list ( ) const

inline

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

{ return clist; }