#define MC_MC_H
#include <simgrid/forward.h>
-#include <simgrid/modelchecker.h> /* our public interface (and definition of SIMGRID_HAVE_MC) */
+#include <simgrid/modelchecker.h> /* our public interface */
#ifdef __cplusplus
XBT_PUBLIC void MC_process_clock_add(const simgrid::kernel::actor::ActorImpl*, double);
#include <simgrid/Exception.hpp>
#include <simgrid/kernel/routing/NetPoint.hpp>
-#include <simgrid/s4u/Engine.hpp>
-#include <simgrid/s4u/Host.hpp>
-#include "mc/mc.h"
#include "src/kernel/activity/IoImpl.hpp"
#include "src/kernel/actor/ActorImpl.hpp"
-#include "src/kernel/actor/SimcallObserver.hpp"
-#include "src/kernel/resource/CpuImpl.hpp"
#include "src/kernel/resource/DiskImpl.hpp"
#include "src/kernel/resource/HostImpl.hpp"
-#include "src/mc/mc_replay.hpp"
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(ker_io, kernel, "Kernel io-related synchronization");
#ifndef SIMGRID_KERNEL_ACTIVITY_MAILBOX_HPP
#define SIMGRID_KERNEL_ACTIVITY_MAILBOX_HPP
-#include <boost/circular_buffer.hpp>
-
#include "simgrid/s4u/Engine.hpp"
#include "simgrid/s4u/Mailbox.hpp"
#include "src/kernel/activity/CommImpl.hpp"
#include "src/kernel/actor/ActorImpl.hpp"
+#include <boost/circular_buffer.hpp>
+
namespace simgrid::kernel::activity {
/** @brief Implementation of the s4u::Mailbox */
#ifndef SIMGRID_KERNEL_ACTIVITY_SEMAPHOREIMPL_HPP
#define SIMGRID_KERNEL_ACTIVITY_SEMAPHOREIMPL_HPP
-#include <atomic>
-#include <boost/intrusive/list.hpp>
-
#include "simgrid/s4u/Semaphore.hpp"
#include "src/kernel/actor/ActorImpl.hpp"
#include "src/kernel/actor/SynchroObserver.hpp"
+#include <atomic>
+#include <boost/intrusive/list.hpp>
+
namespace simgrid::kernel::activity {
/** Semaphore Acquisition: the act / process of acquiring the semaphore.
#include "simgrid/kernel/resource/Action.hpp"
#include "simgrid/kernel/resource/Model.hpp"
-#include "simgrid/s4u/Link.hpp"
#include "xbt/asserts.h"
-#include "xbt/ex.h"
#include "xbt/mallocator.h"
#include <boost/intrusive/list.hpp>
#include "src/kernel/lmm/maxmin.hpp"
#include "simgrid/math_utils.h"
+#include "xbt/ex.h"
XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(ker_lmm);
#include "simgrid/s4u/Host.hpp"
#include "src/kernel/lmm/maxmin.hpp"
#include "src/kernel/resource/Resource.hpp"
+#include "xbt/ex.h"
#include <list>
/* 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. */
+#ifndef DISK_IMPL_HPP_
+#define DISK_IMPL_HPP_
+
#include "simgrid/kernel/resource/Action.hpp"
#include "simgrid/kernel/resource/Model.hpp"
#include "simgrid/s4u/Disk.hpp"
#include <map>
-#ifndef DISK_IMPL_HPP_
-#define DISK_IMPL_HPP_
-
-/*********
- * Model *
- *********/
-
namespace simgrid::kernel::resource {
/***********
* Classes *
#include "simgrid/kernel/resource/Model.hpp"
#include "src/kernel/lmm/maxmin.hpp"
+#include "xbt/ex.h"
XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(ker_resource);
#define SURF_NETWORK_WIFI_HPP_
#include "src/kernel/resource/models/network_cm02.hpp"
+#include "xbt/ex.h"
/***********
* Classes *
#define SIMGRID_SURF_CPUCAS01_HPP
#include "src/kernel/resource/CpuImpl.hpp"
-#include "xbt/base.h"
namespace simgrid::kernel::resource {
#include "src/kernel/resource/CpuImpl.hpp"
#include "src/kernel/resource/profile/Profile.hpp"
+#include "xbt/ex.h"
+
#include <boost/intrusive/list.hpp>
#include <memory>
#include "mc/datatypes.h"
#include "simgrid/forward.h" // aid_t
-#include <array>
-#include <cstdint>
-#include <xbt/dynar.h>
#include <xbt/mmalloc.h>
#include <xbt/utility.hpp>
+#include <array>
+#include <cstdint>
+
// ***** Messages
namespace simgrid::mc {