|
| cvc4.h |
| Main header file for CVC4 library functionality.
|
|
| cvc4_private.h |
| #-inclusion of this file marks a header as private and generates a warning when the file is included improperly
|
|
| cvc4_private_library.h |
| #-inclusion of this file marks a header as private and generates a warning when the file is included improperly
|
|
| cvc4_public.h |
| Macros that should be defined everywhere during the building of the libraries and driver binary, and also exported to the user.
|
|
| cvc4parser_private.h |
| #-inclusion of this file marks a header as private and generates a warning when the file is included improperly.
|
|
| cvc4parser_public.h |
| Macros that should be defined everywhere during the building of the libraries and driver binary, and also exported to the user.
|
|