cvc4-1.3
include Directory Reference

Files

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