namespace simgrid::mc::udpor {
class EventSet;
-class UnfoldingEvent;
class Configuration;
+class History;
class Unfolding;
-using StateHandle = unsigned long long;
+class UnfoldingEvent;
+class maximal_subsets_iterator;
} // namespace simgrid::mc::udpor