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