Threaded_Context takes a template parameter to configure join behaviour
Threaded_Context takes a template parameter to configure join behaviour

If WaitForJoin is true the destructor waits for the threads to join
before finishing.

agra-uni-bremen/metaSMT,nbruns1/metaSMT,nbruns1/metaSMT,finnhaedicke/metaSMT,hoangmle/metaSMT,hoangmle/metaSMT,hoangmle/metaSMT,agra-uni-bremen/metaSMT,finnhaedicke/metaSMT,finnhaedicke/metaSMT,agra-uni-bremen/metaSMT,nbruns1/metaSMT