src/mc/explo/udpor/udpor_forward.hpp

   1 /* Copyright (c) 2007-2023. The SimGrid Team. All rights reserved.          */
   2
   3 /* This program is free software; you can redistribute it and/or modify it
   4  * under the terms of the license (GNU LGPL) which comes with this package. */
   5
   6 /** @file udpor_forward.hpp
   7  *
   8  *  Forward definitions for MC types specific to UDPOR
   9  */
  10
  11 #ifndef SIMGRID_MC_UDPOR_FORWARD_HPP
  12 #define SIMGRID_MC_UDPOR_FORWARD_HPP
  13
  14 #include "src/mc/mc_forward.hpp"
  15 #include <simgrid/forward.h>
  16
  17 namespace simgrid::mc::udpor {
  18
  19 class Comb;
  20 class ExtensionSetCalculator;
  21 class EventSet;
  22 class Configuration;
  23 class History;
  24 class Unfolding;
  25 class UnfoldingEvent;
  26 class maximal_subsets_iterator;
  27
  28 } // namespace simgrid::mc::udpor
  29
  30 #endif