mcrl2/utilities/parallel_tool.h

Include file:

#include "mcrl2/utilities/parallel_tool.h"

Class that transforms a tool into a parallel tool with a threads flag.