3397 {
3398 Z3_func_decl _constructor;
3399 Z3_func_decl _test;
3400 array<Z3_func_decl> accessors(num_fields[i]);
3401 accs.resize(0);
3403 cons[i],
3404 num_fields[i],
3405 &_constructor,
3406 &_test,
3407 accessors.ptr());
3408 constructor = func_decl(ctx, _constructor);
3409
3410 test = func_decl(ctx, _test);
3411 for (unsigned j = 0; j < num_fields[i]; ++j)
3412 accs.push_back(func_decl(ctx, accessors[j]));
3413 }
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.