mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-01 20:01:20 +00:00
Code Activity

[Doxygen] Fixed malformed code blocks in z3_api.h.

Browse source 
These malformed `\code` blocks caused broken documentation to
be generated.
This commit is contained in:
Dan Liew 2017-04-25 00:24:46 +01:00
parent 33af478ce2
commit eb1c985a94
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/api/z3_api.h
View file

@ -3091,8 +3091,8 @@ extern "C" {
\brief Create a numeral of a given sort. \brief Create a numeral of a given sort.
\param c logical context. \param c logical context.
\param numeral A string representing the numeral value in decimal notation. The string may be of the form \code{[num]*[.[num]*][E[+|-][num]+]}. \param numeral A string representing the numeral value in decimal notation. The string may be of the form `[num]*[.[num]*][E[+|-][num]+]`.
If the given sort is a real, then the numeral can be a rational, that is, a string of the form \ccode{[num]* / [num]*}. If the given sort is a real, then the numeral can be a rational, that is, a string of the form `[num]* / [num]*` .
\param ty The sort of the numeral. In the current implementation, the given sort can be an int, real, finite-domain, or bit-vectors of arbitrary size. \param ty The sort of the numeral. In the current implementation, the given sort can be an int, real, finite-domain, or bit-vectors of arbitrary size.
\sa Z3_mk_int \sa Z3_mk_int