Go to the documentation of this file.
19 #ifndef __CVC4_PUBLIC_H
20 #define __CVC4_PUBLIC_H
24 #if defined _WIN32 || defined __CYGWIN__
28 # define CVC4_PUBLIC __attribute__ ((__visibility__("default")))
45 # if __GNUC__ > 4 || ( __GNUC__ == 4 && __GNUC_MINOR__ >= 3 )
47 # define CVC4_UNDEFINED __attribute__((__error__("this function intentionally undefined")))
49 # define CVC4_UNDEFINED
52 # define CVC4_UNDEFINED
56 # define CVC4_UNUSED __attribute__((__unused__))
57 # define CVC4_NORETURN __attribute__ ((__noreturn__))
58 # define CVC4_CONST_FUNCTION __attribute__ ((__const__))
59 # define CVC4_PURE_FUNCTION __attribute__ ((__pure__))
60 # define CVC4_DEPRECATED __attribute__ ((__deprecated__))
61 # define CVC4_WARN_UNUSED_RESULT __attribute__ ((__warn_unused_result__))
64 # define CVC4_NORETURN
65 # define CVC4_CONST_FUNCTION
66 # define CVC4_PURE_FUNCTION
67 # define CVC4_DEPRECATED
68 # define CVC4_WARN_UNUSED_RESULT