- bool conflicts_with(const UnfoldingEvent* otherEvent) const;
- bool conflicts_with(const Configuration& config) const;
- bool immediately_conflicts_with(const UnfoldingEvent* otherEvt) const;
+ /**
+ * @brief Whether or not the given event is a decendant
+ * of or an ancestor of the given event
+ */
+ bool related_to(const UnfoldingEvent* other) const;
+
+ /// @brief Whether or not this event is in conflict with
+ /// the given one (i.e. whether `this # other`)
+ bool conflicts_with(const UnfoldingEvent* other) const;
+
+ /// @brief Whether or not this event is in conflict with
+ /// any event in the given set
+ bool conflicts_with_any(const EventSet& events) const;
+
+ /// @brief Computes "this #ⁱ other"
+ bool immediately_conflicts_with(const UnfoldingEvent* other) const;
+ bool is_dependent_with(const Transition*) const;
+ bool is_dependent_with(const UnfoldingEvent* other) const;