mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-03 21:09:11 +00:00
Code Activity

na

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2021-07-13 17:42:34 +02:00
parent a3010c8875
commit 1b648437b7
1 changed files with 6 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

7
src/api/c++/z3++.h
View file

@ -253,8 +253,13 @@ namespace z3 {
\brief Return the Bit-vector sort of size \c sz. That is, the sort for bit-vectors of size \c sz. \brief Return the Bit-vector sort of size \c sz. That is, the sort for bit-vectors of size \c sz.
*/ */
sort bv_sort(unsigned sz); sort bv_sort(unsigned sz);
/** /**
\brief Return the sort for ASCII strings. \brief Return the sort for Unicode characters.
*/
sort char_sort();
/**
\brief Return the sort for Unicode strings.
*/ */
sort string_sort(); sort string_sort();
/** /**