7#ifndef STAMINA_BUILDER_THREADS_BASETHREAD_H
8#define STAMINA_BUILDER_THREADS_BASETHREAD_H
11#include <shared_mutex>
13#include "stamina/builder/__storm_needed_for_builder.h"
18 template<
typename ValueType,
typename RewardModelType,
typename StateType>
19 class StaminaModelBuilder;
22 using namespace storm::builder;
27 template <
typename StateType,
typename RewardModelType,
typename ValueType>
60 std::thread * threadLoop;
Definition: BaseThread.h:28
BaseThread(StaminaModelBuilder< ValueType, RewardModelType, StateType > *parent)
Definition: BaseThread.cpp:10
const StaminaModelBuilder< ValueType, RewardModelType, StateType > * getParent()
Definition: BaseThread.cpp:21
void startThread()
Definition: BaseThread.cpp:27
virtual void mainLoop()=0
Definition: ExplicitTruncatedModelBuilder.cpp:40