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;