projects
/
c11tester.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Maintain list of writes
[c11tester.git]
/
classlist.h
1
#ifndef CLASSLIST_H
2
#define CLASSLIST_H
3
#include "stl-model.h"
4
5
class ClockVector;
6
class CycleGraph;
7
class CycleNode;
8
class ModelAction;
9
class ModelChecker;
10
class ModelExecution;
11
class ModelHistory;
12
class Scheduler;
13
class Thread;
14
class TraceAnalysis;
15
class Fuzzer;
16
17
struct model_snapshot_members;
18
struct bug_message;
19
typedef SnapList<ModelAction *> action_list_t;
20
21
extern volatile int forklock;
22
#endif