X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/6ebe4cd9a47fdc974ebe8ec1310777c433411715..85861efad8a0c75dfc4cca06c3f8adcf86d49495:/src/mc/Session.hpp diff --git a/src/mc/Session.hpp b/src/mc/Session.hpp index 7934ec0e58..d89b7027ae 100644 --- a/src/mc/Session.hpp +++ b/src/mc/Session.hpp @@ -1,4 +1,4 @@ -/* Copyright (c) 2016-2020. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2016-2021. 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. */ @@ -44,7 +44,7 @@ public: ~Session(); void close(); - void initialize(); + void take_initial_snapshot(); void execute(Transition const& transition) const; void log_state() const; @@ -53,8 +53,7 @@ public: }; // Temporary :) -extern simgrid::mc::Session* session; - +extern simgrid::mc::Session* session_singleton; } }