cvc4-1.4
CVC4::ThreadLocalImpl< T, true > Class Template Reference

#include <tls.h>

Public Member Functions

 ThreadLocalImpl ()
 
 ThreadLocalImpl (const T &t)
 
 ThreadLocalImpl (const ThreadLocalImpl &tl)
 
ThreadLocalImploperator= (const T &t)
 
ThreadLocalImploperator= (const ThreadLocalImpl &tl)
 
 operator T () const
 

Detailed Description

template<class T>
class CVC4::ThreadLocalImpl< T, true >

Definition at line 45 of file tls.h.

Constructor & Destructor Documentation

◆ ThreadLocalImpl() [1/3]

template<class T >
CVC4::ThreadLocalImpl< T, true >::ThreadLocalImpl ( )
inline

Definition at line 52 of file tls.h.

◆ ThreadLocalImpl() [2/3]

template<class T >
CVC4::ThreadLocalImpl< T, true >::ThreadLocalImpl ( const T & t)
inline

Definition at line 56 of file tls.h.

◆ ThreadLocalImpl() [3/3]

template<class T >
CVC4::ThreadLocalImpl< T, true >::ThreadLocalImpl ( const ThreadLocalImpl< T, true > & tl)
inline

Definition at line 61 of file tls.h.

Member Function Documentation

◆ operator T()

template<class T >
CVC4::ThreadLocalImpl< T, true >::operator T ( ) const
inline

Definition at line 75 of file tls.h.

◆ operator=() [1/2]

template<class T >
ThreadLocalImpl & CVC4::ThreadLocalImpl< T, true >::operator= ( const T & t)
inline

Definition at line 66 of file tls.h.

◆ operator=() [2/2]

template<class T >
ThreadLocalImpl & CVC4::ThreadLocalImpl< T, true >::operator= ( const ThreadLocalImpl< T, true > & tl)
inline

Definition at line 70 of file tls.h.


The documentation for this class was generated from the following file: