#include "xbt/parmap.h"
#include "src/simix/smx_private.h"
-#include "src/simix/smx_private.hpp"
#include "src/internal_config.h"
#include "mc/mc.h"
friend UContextFactory;
UContext(std::function<void()> code,
void_pfn_smxprocess_t cleanup_func, smx_process_t process);
- ~UContext();
+ ~UContext() override;
};
class SerialUContext : public UContext {
friend ParallelUContext;
UContextFactory();
- virtual ~UContextFactory();
- virtual Context* create_context(std::function<void()> code,
- void_pfn_smxprocess_t, smx_process_t process) override;
+ ~UContextFactory() override;
+ Context* create_context(std::function<void()> code,
+ void_pfn_smxprocess_t cleanup, smx_process_t process) override;
void run_all() override;
};