BaseThread.h

 
#ifndef STAMINA_BUILDER_THREADS_BASETHREAD_H
#define STAMINA_BUILDER_THREADS_BASETHREAD_H
 
#include <thread>
#include <shared_mutex>
 
#include "stamina/builder/__storm_needed_for_builder.h"
 
namespace stamina {
    namespace builder {
        // Forward-declare StaminaModelBuilder class
        template<typename ValueType, typename RewardModelType, typename StateType>
        class StaminaModelBuilder;
 
        namespace threads {
            using namespace storm::builder;
            template <typename StateType, typename RewardModelType, typename ValueType>
            class BaseThread {
            public:
                BaseThread(StaminaModelBuilder<ValueType, RewardModelType, StateType> * parent);
                virtual void mainLoop() = 0;
                void startThread();
                const StaminaModelBuilder<ValueType, RewardModelType, StateType> * getParent();
                void join();
                void terminate();
            protected:
                bool finished;
            private:
                const StaminaModelBuilder<ValueType, RewardModelType, StateType> * parent;
                std::thread * threadLoop;
            };
        } // namespace threads
    } // namespace builder
} // namespace stamina
 
 
#endif // STAMINA_BUILDER_THREADS_BASETHREAD_H