3384 {
3385 array<unsigned> sort_refs(n);
3386 array<Z3_sort> sorts(n);
3387 array<Z3_symbol> _names(n);
3388 for (unsigned i = 0; i < n; ++i) sorts[i] = fields[i], _names[i] = names[i];
3389 cons.push_back(
Z3_mk_constructor(ctx, name, rec, n, _names.ptr(), sorts.ptr(), sort_refs.ptr()));
3390 num_fields.push_back(n);
3391 }
Z3_constructor Z3_API Z3_mk_constructor(Z3_context c, Z3_symbol name, Z3_symbol recognizer, unsigned num_fields, Z3_symbol const field_names[], Z3_sort_opt const sorts[], unsigned sort_refs[])
Create a constructor.