EventSet make_union(const UnfoldingEvent*) const;
EventSet make_union(const EventSet&) const;
EventSet make_union(const Configuration&) const;
+ EventSet get_local_config() const;
size_t size() const;
bool empty() const;
bool contains(const UnfoldingEvent*) const;
bool contains(const History&) const;
+ bool intersects(const History&) const;
bool is_subset_of(const EventSet&) const;
bool operator==(const EventSet& other) const { return this->events_ == other.events_; }
* @brief Moves the event set into a list
*/
std::vector<const UnfoldingEvent*> move_into_vector() const&&;
+
+ using iterator = decltype(events_)::iterator;
+ using const_iterator = decltype(events_)::const_iterator;
+ using value_type = decltype(events_)::value_type;
};
} // namespace simgrid::mc::udpor