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 minor issues in docs.

Browse source
This commit is contained in:
Bruce Mitchener 2018-03-16 20:56:06 +07:00
parent b1f05d8271
commit 0a0b7a9635
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/api/z3_algebraic.h
View file

@ -31,7 +31,7 @@ extern "C" {
/** @name Algebraic Numbers */ /** @name Algebraic Numbers */
/*@{*/ /*@{*/
/** /**
\brief Return Z3_TRUE if \c can be used as value in the Z3 real algebraic \brief Return Z3_TRUE if \c a can be used as value in the Z3 real algebraic
number package. number package.
def_API('Z3_algebraic_is_value', BOOL, (_in(CONTEXT), _in(AST))) def_API('Z3_algebraic_is_value', BOOL, (_in(CONTEXT), _in(AST)))

2
src/api/z3_api.h
View file

@ -4350,7 +4350,7 @@ extern "C" {
Z3_bool Z3_API Z3_is_numeral_ast(Z3_context c, Z3_ast a); Z3_bool Z3_API Z3_is_numeral_ast(Z3_context c, Z3_ast a);
/** /**
\brief Return true if the give AST is a real algebraic number. \brief Return true if the given AST is a real algebraic number.
def_API('Z3_is_algebraic_number', BOOL, (_in(CONTEXT), _in(AST))) def_API('Z3_is_algebraic_number', BOOL, (_in(CONTEXT), _in(AST)))
*/ */