Periodic.h

#ifndef ROSE_BinaryAnalysis_ModelChecker_Periodic_H
#define ROSE_BinaryAnalysis_ModelChecker_Periodic_H
#include <featureTests.h>
#ifdef ROSE_ENABLE_MODEL_CHECKER
 
#include <Rose/BinaryAnalysis/ModelChecker/BasicTypes.h>
#include <condition_variable>
#include <mutex>
#include <thread>
 
namespace Rose {
namespace BinaryAnalysis {
namespace ModelChecker {
 
class Periodic {
public:
    using Ptr = PeriodicPtr;
private:
    std::thread worker_;
    std::mutex mutex_;
    bool stopping_ = false;
    std::condition_variable cv_;
 
public:
    virtual ~Periodic();
 
    void start(const EnginePtr&, std::chrono::duration<double> period);
 
    void stop();
 
    virtual void step(const EnginePtr&) = 0;
 
private:
    void run(const EnginePtr&, std::chrono::duration<double> period);
};
 
} // namespace
} // namespace
} // namespace
 
#endif
#endif