3569 {
3570 Z3_func_decl _constructor;
3571 Z3_func_decl _test;
3572 array<Z3_func_decl> accessors(num_fields[i]);
3573 accs.resize(0);
3575 cons[i],
3576 num_fields[i],
3577 &_constructor,
3578 &_test,
3579 accessors.ptr());
3580 constructor = func_decl(ctx, _constructor);
3581
3582 test = func_decl(ctx, _test);
3583 for (unsigned j = 0; j < num_fields[i]; ++j)
3584 accs.push_back(func_decl(ctx, accessors[j]));
3585 }
void Z3_API Z3_query_constructor(Z3_context c, Z3_constructor constr, unsigned num_fields, Z3_func_decl *constructor, Z3_func_decl *tester, Z3_func_decl accessors[])
Query constructor for declared functions.