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(const Configuration&) = default;
Configuration& operator=(Configuration const&) = default;
Configuration(Configuration&&) = default;
- ~Configuration() = default;
};
class UnfoldingEvent {
UnfoldingEvent(const UnfoldingEvent&) = default;
UnfoldingEvent& operator=(UnfoldingEvent const&) = default;
UnfoldingEvent(UnfoldingEvent&&) = default;
- ~UnfoldingEvent() = default;
EventSet getHistory() const;