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.