class Action;
class Model;
class Resource;
+class NetworkModel;
class TraceEvent;
class LinkImpl;
class NetworkAction;
class StorageType;
class StorageModel;
}
+namespace mc {
+class CommunicationDeterminismChecker;
+}
namespace trace_mgr {
class trace;
class future_evt_set;