cvc4-1.4
|
Header to define CVC4_THREAD whether or not TLS is supported by the compiler/runtime platform. More...
#include "cvc4_public.h"
Go to the source code of this file.
Macros | |
#define | CVC4_THREADLOCAL(__type...) |
#define | CVC4_THREADLOCAL_PUBLIC(__type...) |
#define | CVC4_THREADLOCAL_TYPE(__type...) |
Header to define CVC4_THREAD whether or not TLS is supported by the compiler/runtime platform.
** Original author: ACSYS ** Major contributors: Morgan Deters ** 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.
Header to define CVC4_THREAD whether or not TLS is supported by the compiler/runtime platform. If not, an implementation based on pthread_getspecific() / pthread_setspecific() is given.
Definition in file tls.h.