mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

Fix slight inconsistencies in use of \sa

Browse source
This commit is contained in:
Josh Berdine 2012-12-04 03:40:21 +00:00
parent 8191cc1951
commit f7528456da
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/api/z3_api.h
View file

@ -1428,7 +1428,7 @@ extern "C" {
/** /**
\brief Set a value of a context parameter. \brief Set a value of a context parameter.
\sa Use #Z3_global_param_set. \sa Z3_global_param_set
def_API('Z3_update_param_value', VOID, (_in(CONTEXT), _in(STRING), _in(STRING))) def_API('Z3_update_param_value', VOID, (_in(CONTEXT), _in(STRING), _in(STRING)))
*/ */
@ -1437,7 +1437,7 @@ extern "C" {
/** /**
\brief Return the value of a context parameter. \brief Return the value of a context parameter.
\sa Use #Z3_global_param_get \sa Z3_global_param_get
def_API('Z3_get_param_value', BOOL, (_in(CONTEXT), _in(STRING), _out(STRING))) def_API('Z3_get_param_value', BOOL, (_in(CONTEXT), _in(STRING), _out(STRING)))
*/ */
@ -1707,7 +1707,7 @@ extern "C" {
use the APIs for creating numerals and pass a numeric use the APIs for creating numerals and pass a numeric
constant together with the sort returned by this call. constant together with the sort returned by this call.
\sa Z3_get_finite_domain_sort_size. \sa Z3_get_finite_domain_sort_size
def_API('Z3_mk_finite_domain_sort', SORT, (_in(CONTEXT), _in(SYMBOL), _in(UINT64))) def_API('Z3_mk_finite_domain_sort', SORT, (_in(CONTEXT), _in(SYMBOL), _in(UINT64)))
*/ */