mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
[Doxygen] Fix some Doxygen warnings for z3_optimization.h
This commit is contained in:
parent
903709b9c1
commit
85c7f5d865
|
@ -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)))
|
||||
*/
|
||||
|
|
Loading…
Reference in a new issue