cprover
wmm.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: memory models
4 
5 Author: Vincent Nimal
6 
7 Date: 2012
8 
9 \*******************************************************************/
10 
13 
14 #ifndef CPROVER_GOTO_INSTRUMENT_WMM_WMM_H
15 #define CPROVER_GOTO_INSTRUMENT_WMM_WMM_H
16 
18 {
19  Unknown=-1,
20  TSO=0,
21  PSO=1,
22  RMO=2,
24 };
25 
27 {
28  all=0,
34 };
35 
37 {
41 };
42 
43 #endif // CPROVER_GOTO_INSTRUMENT_WMM_WMM_H
instrumentation_strategyt
Definition: wmm.h:26
Definition: wmm.h:23
Definition: wmm.h:39
Definition: wmm.h:22
Definition: wmm.h:30
loop_strategyt
Definition: wmm.h:36
memory_modelt
Definition: wmm.h:17
Definition: wmm.h:21
Definition: wmm.h:32
Definition: wmm.h:19
Definition: wmm.h:20
Definition: wmm.h:40
Definition: wmm.h:28