X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/96e9a8e891b426a1bcd3214322f34bb40ba2b33e..83c8fc90694724253dc3b67367d41c126d4dbd10:/src/mc/mc_forward.hpp diff --git a/src/mc/mc_forward.hpp b/src/mc/mc_forward.hpp index 9474e9beca..6471c6fa78 100644 --- a/src/mc/mc_forward.hpp +++ b/src/mc/mc_forward.hpp @@ -4,7 +4,7 @@ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ -/** \file mc_forward.hpp +/** @file mc_forward.hpp * * Forward definitions for MC types */ @@ -19,21 +19,21 @@ class PageStore; class ChunkedData; class ModelChecker; class AddressSpace; -class Process; +class RemoteClient; class Snapshot; class ObjectInformation; class Member; class Type; class Variable; class Frame; -class SimixProcessInformation; +class ActorInformation; + +class Session; +class Checker; } } -// 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;