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