cvc4-1.5-prerelease
|
Macros that should be defined everywhere during the building of the libraries and driver binary, and also exported to the user. More...
#include <stdint.h>
Go to the source code of this file.
Macros | |
#define | CVC4_PUBLIC |
#define | CVC4_UNDEFINED |
#define | CVC4_UNUSED |
#define | CVC4_NORETURN |
#define | CVC4_CONST_FUNCTION |
#define | CVC4_PURE_FUNCTION |
#define | CVC4_DEPRECATED |
#define | CVC4_WARN_UNUSED_RESULT |
Macros that should be defined everywhere during the building of the libraries and driver binary, and also exported to the user.
** Top contributors (to current version): ** Morgan Deters, Tim King ** This file is part of the CVC4 project. ** Copyright (c) 2009-2016 by the authors listed in the file AUTHORS ** in the top-level source directory) and their institutional affiliations. ** All rights reserved. See the file COPYING in the top-level source ** directory for licensing information.
Macros that should be defined everywhere during the building of the libraries and driver binary, and also exported to the user.
Definition in file cvc4_public.h.
#define CVC4_CONST_FUNCTION |
Definition at line 65 of file cvc4_public.h.
#define CVC4_DEPRECATED |
Definition at line 67 of file cvc4_public.h.
#define CVC4_NORETURN |
Definition at line 64 of file cvc4_public.h.
#define CVC4_PUBLIC |
Definition at line 30 of file cvc4_public.h.
#define CVC4_PURE_FUNCTION |
Definition at line 66 of file cvc4_public.h.
#define CVC4_UNDEFINED |
Definition at line 52 of file cvc4_public.h.
#define CVC4_UNUSED |
Definition at line 63 of file cvc4_public.h.
#define CVC4_WARN_UNUSED_RESULT |
Definition at line 68 of file cvc4_public.h.