mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-10 21:20:52 +00:00
Code Activity

docs: More intra-doc linking, bit of formatting. (#6963)

Browse source
This commit is contained in:
Bruce Mitchener 2023-10-26 00:07:03 +07:00 • committed by GitHub
parent 7b490543ca
commit 236afeb8cb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 258 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/api/z3_api.h
View file

@ -5594,14 +5594,14 @@ extern "C" {
void Z3_API Z3_add_const_interp(Z3_context c, Z3_model m, Z3_func_decl f, Z3_ast a);
/**
\brief Increment the reference counter of the given Z3_func_interp object.
\brief Increment the reference counter of the given \c Z3_func_interp object.
def_API('Z3_func_interp_inc_ref', VOID, (_in(CONTEXT), _in(FUNC_INTERP)))
*/
void Z3_API Z3_func_interp_inc_ref(Z3_context c, Z3_func_interp f);
/**
\brief Decrement the reference counter of the given Z3_func_interp object.
\brief Decrement the reference counter of the given \c Z3_func_interp object.
def_API('Z3_func_interp_dec_ref', VOID, (_in(CONTEXT), _in(FUNC_INTERP)))
*/