mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-27 10:55:50 +00:00
Code Activity

Merge pull request #1066 from delcypher/misc_doxygen_fixes

Browse source 
Misc doxygen fixes
This commit is contained in:
Nikolaj Bjorner 2017-06-08 09:21:06 -07:00 • committed by GitHub
commit ed0e06c7ac
3 changed files with 8 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

7
doc/z3api.cfg.in
View file

@ -704,10 +704,13 @@ INPUT_ENCODING = UTF-8
FILE_PATTERNS = website.dox \
z3_api.h \
z3_algebraic.h \
z3_ast_containers.h \
z3_fixedpoint.h \
z3_fpa.h \
z3_interp.h \
z3_optimization.h \
z3_polynomial.h \
z3_rcf.h \
z3_interp.h \
z3_fpa.h \
z3++.h \
@PYTHON_API_FILES@ @DOTNET_API_FILES@ @JAVA_API_FILES@

2
src/api/z3_api.h
View file

@ -48,6 +48,7 @@ DEFINE_TYPE(Z3_rcf_num);
/*@{*/
/** @name Types
@{
Most of the types in the C API are opaque pointers.
@ -5238,7 +5239,6 @@ extern "C" {
def_API('Z3_get_error_msg', STRING, (_in(CONTEXT), _in(ERROR_CODE)))
*/
Z3_string Z3_API Z3_get_error_msg(Z3_context c, Z3_error_code err);
/*@}*/
/**
\brief Return a string describing the given error code.

4
src/api/z3_optimization.h
View file

@ -75,7 +75,7 @@ extern "C" {
\brief Add a maximization constraint.
\param c - context
\param o - optimization context
\param a - arithmetical term
\param t - arithmetical term
def_API('Z3_optimize_maximize', UINT, (_in(CONTEXT), _in(OPTIMIZE), _in(AST)))
*/
unsigned Z3_API Z3_optimize_maximize(Z3_context c, Z3_optimize o, Z3_ast t);
@ -84,7 +84,7 @@ extern "C" {
\brief Add a minimization constraint.
\param c - context
\param o - optimization context
\param a - arithmetical term
\param t - arithmetical term
def_API('Z3_optimize_minimize', UINT, (_in(CONTEXT), _in(OPTIMIZE), _in(AST)))
*/