Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
mc: move some files related to ELF, DWARF or unwind reading into their own directory
[simgrid.git] / src / mc / mc_forward.hpp
1 /* Copyright (c) 2007-2019. The SimGrid Team. All rights reserved.          */
2
3 /* This program is free software; you can redistribute it and/or modify it
4  * under the terms of the license (GNU LGPL) which comes with this package. */
5
6 /** @file mc_forward.hpp
7  *
8  *  Forward definitions for MC types
9  */
10
11 #ifndef SIMGRID_MC_FORWARD_HPP
12 #define SIMGRID_MC_FORWARD_HPP
13
14 namespace simgrid {
15 namespace mc {
16
17 class PageStore;
18 class ChunkedData;
19 class ModelChecker;
20 class AddressSpace;
21 class RemoteClient;
22 class Snapshot;
23 class ObjectInformation;
24 class Member;
25 class Type;
26 class Variable;
27 class Transition;
28 class Frame;
29 class ActorInformation;
30
31 class Session;
32 class Checker;
33
34 }
35 }
36
37 // TODO, try to get rid of the global ModelChecker variable
38 extern simgrid::mc::ModelChecker* mc_model_checker;
39
40 #endif