Aina Niemetz 7a4a17b193 c api: Introduce C/C++ specific handling of public enums. (#9915) ...

This introduces a general way to use public enums both in the C++ and
the (upcoming) C API. For the C++ case, we now use enum classes rather
than enums for public enums. This also includes definitions for
C API to_string conversions for public enums. C API definitions in
cvc5_types.h are only included from the C API, guarded via a macro
(thus, for now, not included yet when the header is included).

2023-08-22 18:17:16 +00:00

4.2 KiB

Raw Permalink Blame History

View Raw