#ifndef CLASSLIST_H
#define CLASSLIST_H
+#include "stl-model.h"
+
class ClockVector;
class CycleGraph;
class CycleNode;
class Scheduler;
class Thread;
class TraceAnalysis;
+class Fuzzer;
struct model_snapshot_members;
struct bug_message;
-
+typedef SnapList<ModelAction *> action_list_t;
#endif