cvc4-1.4
tls.h File Reference
#include "cvc4_public.h"
#include <pthread.h>
Include dependency graph for tls.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures

class  CVC4::ThreadLocalImpl< T, true >
 
class  CVC4::ThreadLocalImpl< T *, true >
 
class  CVC4::ThreadLocalImpl< T, false >
 

Namespaces

namespace  CVC4
 

Macros

#define CVC4_THREADLOCAL(__type...)
 
#define CVC4_THREADLOCAL_PUBLIC(__type...)
 
#define CVC4_THREADLOCAL_TYPE(__type...)
 

Macro Definition Documentation

◆ CVC4_THREADLOCAL

#define CVC4_THREADLOCAL ( __type...)

Definition at line 35 of file tls.h.

◆ CVC4_THREADLOCAL_PUBLIC

#define CVC4_THREADLOCAL_PUBLIC ( __type...)

Definition at line 36 of file tls.h.

◆ CVC4_THREADLOCAL_TYPE

#define CVC4_THREADLOCAL_TYPE ( __type...)

Definition at line 37 of file tls.h.