pull in most of atomic header file
[model-checker.git] / libatomic.h
1 /** @file libatomic.h
2  *  @brief Basic atomic operations to be exposed to user program.
3  */
4
5 #ifndef __LIBATOMIC_H__
6 #define __LIBATOMIC_H__
7
8 #include "memoryorder.h"
9
10 #ifdef __cplusplus
11 using std::memory_order;
12 using std::memory_order_relaxed;
13 using std::memory_order_acquire;
14 using std::memory_order_release;
15 using std::memory_order_acq_rel;
16 using std::memory_order_seq_cst;
17 extern "C" {
18 #endif
19
20
21 #ifdef __cplusplus
22 }
23 #endif
24
25 #endif /* __LIBATOMIC_H__ */