mcrl2::utilities::tools::parallel_tool

Include file:

#include "mcrl2/utilities/parallel_tool.h

class mcrl2::utilities::tools::parallel_tool

Base class for tools that are using multiple threads.

Protected attributes

std::size_t mcrl2::utilities::tools::parallel_tool::m_number_of_threads

The number of threads in the parallel tool.

Protected member functions

void add_options(utilities::interface_description &desc)

Add the threads option to an interface description.

Parameters:

• desc An interface description

void parse_options(const utilities::command_line_parser &parser)

Parse non-standard options.

Parameters:

• parser A command line parser

Public member functions

std::size_t number_of_threads() const

Returns the number of threads in this tool.

Returns: The number of threads.

parallel_tool(const std::string &name, const std::string &author, const std::string &what_is, const std::string &tool_description, std::string known_issues = "")

Constructor.