projects
/
model-checker.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
delete README symlink
[model-checker.git]
/
include
/
memoryorder.h
1
/**
2
* @file memoryorder.h
3
* @brief C11/C++11 atomic memory order listings
4
*/
5
6
#ifndef MEMORYORDER_H
7
#define MEMORYORDER_H
8
#ifdef __cplusplus
9
#include <cstddef>
10
namespace std {
11
#else
12
#include <stddef.h>
13
#endif
14
15
16
typedef enum memory_order {
17
memory_order_relaxed, memory_order_acquire, memory_order_release,
18
memory_order_acq_rel, memory_order_seq_cst
19
} memory_order;
20
21
22
#ifdef __cplusplus
23
}
24
#endif
25
26
27
28
#endif