cvc4-1.4
|
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.
** Original author: Morgan Deters ** Major contributors: none ** Minor contributors (to current version): none ** This file is part of the CVC4 project. ** Copyright (c) 2009-2014 New York University and The University of Iowa ** 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.
Referenced by CVC4::CheckArgument(), CVC4::DebugCheckArgument(), CVC4::ExportUnsupportedException::ExportUnsupportedException(), CVC4::Chain::getOperator(), CVC4::IllegalArgumentException::IllegalArgumentException(), CVC4::LogicInfo::isComparableTo(), CVC4::Result::operator!=(), CVC4::SExpr::operator!=(), CVC4::DivisibleHashFunction::operator()(), CVC4::TupleUpdateHashFunction::operator()(), CVC4::RecordUpdateHashFunction::operator()(), CVC4::RecordHashFunction::operator()(), CVC4::SubrangeBoundsHashFunction::operator()(), CVC4::strings::StringHashFunction::operator()(), CVC4::RegExpHashFunction::operator()(), CVC4::RationalHashFunction::operator()(), CVC4::UnsignedHashFunction< T >::operator()(), CVC4::DatatypeHashFunction::operator()(), CVC4::operator<<(), CVC4::AbstractValue::operator>=(), CVC4::UninterpretedConstant::operator>=(), CVC4::EmptySet::operator>=(), CVC4::ArrayStoreAll::operator>=(), CVC4::Cardinality::operator^(), and CVC4::CommandPrintSuccess::Scope::~Scope().
#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.