mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-05 17:14:07 +00:00
Code Activity

Remove Z3_bool, Z3_TRUE, Z3_FALSE from the API.

Browse source 
These have just been aliases for the standard type `bool` and
values `true` and `false` for a long time now.
This commit is contained in:
Bruce Mitchener 2022-08-01 15:51:38 +07:00 committed by Nikolaj Bjorner
parent 77e5d6ab19
commit fe1e301735
2 changed files with 1 additions and 16 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
RELEASE_NOTES.md
View file

@ -12,7 +12,7 @@ Version 4.next
Version 4.11.0 Version 4.11.0
============== ==============
- remove Z3_bool from API - remove `Z3_bool`, `Z3_TRUE`, `Z3_FALSE` from the API. Use `bool`, `true`, `false` instead.
Version 4.10.2 Version 4.10.2
============== ==============

15
src/api/z3_api.h
View file

@ -75,11 +75,6 @@ DEFINE_TYPE(Z3_rcf_num);
- \c Z3_stats: statistical data for a solver. - \c Z3_stats: statistical data for a solver.
*/ */
/**
\brief Z3 Boolean type. It is just an alias for \c bool.
*/
typedef bool Z3_bool;
/** /**
\brief Z3 string type. It is just an alias for \ccode{const char *}. \brief Z3 string type. It is just an alias for \ccode{const char *}.
*/ */
@ -87,16 +82,6 @@ typedef const char * Z3_string;
typedef char const* Z3_char_ptr; typedef char const* Z3_char_ptr;
typedef Z3_string * Z3_string_ptr; typedef Z3_string * Z3_string_ptr;
/**
\brief True value. It is just an alias for \c true.
*/
#define Z3_TRUE true
/**
\brief False value. It is just an alias for \c false.
*/
#define Z3_FALSE false
/** /**
\brief Lifted Boolean type: \c false, \c undefined, \c true. \brief Lifted Boolean type: \c false, \c undefined, \c true.
*/ */