mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-09 23:52:02 +00:00
Code Activity

Update comments on parameter handling in api_datatype.cpp

Browse source 
Clarify usage of parameters in API documentation.
This commit is contained in:
Nikolaj Bjorner 2025-10-14 18:13:16 +02:00 • committed by GitHub
parent c043c325bc
commit 9a8df8f80d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

10
src/api/api_datatype.cpp
View file

@ -317,12 +317,12 @@ extern "C" {
sort_ref_vector params(m);
// If parameters are provided explicitly, use them
if (num_parameters > 0 && parameters) {
for (unsigned i = 0; i < num_parameters; ++i) {
// A correct use of the API is to always provide parameters explicitly.
// implicit parameters through polymorphic type variables does not work
// because the order of polymorphic variables in the parameters is ambiguous.
if (num_parameters > 0 && parameters)
for (unsigned i = 0; i < num_parameters; ++i)
params.push_back(to_sort(parameters[i]));
}
}
ptr_vector<constructor_decl> constrs;
for (unsigned i = 0; i < num_constructors; ++i) {