X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/b3b356352e87ae00a20f737c48e19b0c8413455a..96e9a8e891b426a1bcd3214322f34bb40ba2b33e:/src/mc/mc_forward.hpp diff --git a/src/mc/mc_forward.hpp b/src/mc/mc_forward.hpp index f3b032bc83..9474e9beca 100644 --- a/src/mc/mc_forward.hpp +++ b/src/mc/mc_forward.hpp @@ -16,18 +16,24 @@ namespace simgrid { namespace mc { class PageStore; +class ChunkedData; class ModelChecker; class AddressSpace; class Process; class Snapshot; class ObjectInformation; +class Member; class Type; class Variable; class Frame; +class SimixProcessInformation; } } +// TODO, remove +typedef simgrid::mc::SimixProcessInformation s_mc_smx_process_info; + // TODO, try to get rid of the global ModelChecker variable extern simgrid::mc::ModelChecker* mc_model_checker;