static EventSet plus(EventSet events, UnfoldingEvent* e);
};
-typedef struct s_evset_in {
+struct s_evset_in_t {
EventSet causuality_events;
EventSet cause;
EventSet ancestorSet;
-} s_evset_in_t;
+};
class Configuration {
public:
Configuration() = default;
Configuration(const Configuration&) = default;
Configuration& operator=(Configuration const&) = default;
- Configuration(Configuration&&) noexcept = default;
- ~Configuration() = default;
+ Configuration(Configuration&&) = default;
};
class UnfoldingEvent {
UnfoldingEvent(const UnfoldingEvent&) = default;
UnfoldingEvent& operator=(UnfoldingEvent const&) = default;
UnfoldingEvent(UnfoldingEvent&&) = default;
- ~UnfoldingEvent() = default;
EventSet getHistory() const;
bool isImmediateConflict1(UnfoldingEvent* evt, UnfoldingEvent* otherEvt) const;
bool conflictWithConfig(UnfoldingEvent* event, Configuration const& config) const;
- bool operator==(const UnfoldingEvent& other) const;
+ /* TODO: implement */
+ bool operator==(const UnfoldingEvent& other) const { return false; };
void print() const;
inline int get_state_id() const { return state_id; }
};
} // namespace mc
} // namespace simgrid
-#endif
\ No newline at end of file
+#endif