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