#ifndef SIMGRID_MC_UDPOR_FORWARD_HPP
#define SIMGRID_MC_UDPOR_FORWARD_HPP
+#include "src/mc/mc_forward.hpp"
+#include <simgrid/forward.h>
+
namespace simgrid::mc::udpor {
+class Comb;
+struct ExtensionSetCalculator;
class EventSet;
class Configuration;
class History;
class Unfolding;
class UnfoldingEvent;
-class maximal_subsets_iterator;
+struct maximal_subsets_iterator;
} // namespace simgrid::mc::udpor