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__))
65# define CVC4_CONST_FUNCTION
66# define CVC4_PURE_FUNCTION
67# define CVC4_DEPRECATED
68# define CVC4_WARN_UNUSED_RESULT