cvc4-1.4
include Directory Reference
Directory dependency graph for include:
src/include

Files

 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.