std::unique_ptr<RemoteProcessMemory> remote_process_memory_;
Exploration* exploration_ = nullptr;
public:
ModelChecker(ModelChecker const&) = delete;
ModelChecker& operator=(ModelChecker const&) = delete;
std::unique_ptr<RemoteProcessMemory> remote_process_memory_;
Exploration* exploration_ = nullptr;
public:
ModelChecker(ModelChecker const&) = delete;
ModelChecker& operator=(ModelChecker const&) = delete;