3416 {
3417 Z3_func_decl _constructor;
3418 Z3_func_decl _test;
3419 array<Z3_func_decl> accessors(num_fields[i]);
3420 accs.resize(0);
3422 cons[i],
3423 num_fields[i],
3424 &_constructor,
3425 &_test,
3426 accessors.ptr());
3427 constructor = func_decl(ctx, _constructor);
3428
3429 test = func_decl(ctx, _test);
3430 for (unsigned j = 0; j < num_fields[i]; ++j)
3431 accs.push_back(func_decl(ctx, accessors[j]));
3432 }
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.