• CVC4_CONST_FUNCTION : cvc4_public.h
• CVC4_DEPRECATED : cvc4_public.h
• CVC4_NORETURN : cvc4_public.h
• CVC4_PUBLIC : cvc4_public.h
• CVC4_PURE_FUNCTION : cvc4_public.h
• CVC4_UNDEFINED : cvc4_public.h
• CVC4_UNUSED : cvc4_public.h
• CVC4_WARN_UNUSED_RESULT : cvc4_public.h