X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ac679d5e69b1eb25e3f82be198607593407e7fc5..d75fff3ccf9a0caf5d851cfd9dee6a2a0fe47864:/src/mc/mc_forward.hpp diff --git a/src/mc/mc_forward.hpp b/src/mc/mc_forward.hpp index 5c704d495e..df5257122f 100644 --- a/src/mc/mc_forward.hpp +++ b/src/mc/mc_forward.hpp @@ -1,10 +1,9 @@ -/* Copyright (c) 2007-2015. The SimGrid Team. - * All rights reserved. */ +/* Copyright (c) 2007-2022. The SimGrid Team. All rights reserved. */ /* 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 */ @@ -12,22 +11,25 @@ #ifndef SIMGRID_MC_FORWARD_HPP #define SIMGRID_MC_FORWARD_HPP -namespace simgrid { -namespace mc { +namespace simgrid::mc { class PageStore; +class ChunkedData; class ModelChecker; class AddressSpace; -class Process; +class RemoteProcess; class Snapshot; class ObjectInformation; class Member; class Type; class Variable; +class Transition; class Frame; +class ActorInformation; -} -} +class Session; +class Exploration; +} // namespace simgrid::mc // TODO, try to get rid of the global ModelChecker variable extern simgrid::mc::ModelChecker* mc_model_checker;