mcrl2::utilities::tools Namespace Reference

The namespace for command line tool classes. More...

Classes
class	input_input_output_tool
	Base class for tools that take two files as input, and write the results to a file. More...
class	input_input_tool
	Base class for tools that take two files as input. More...
class	input_output_output_tool
	Base class for tools that optionally takes one file as input, and writes the results to two output files. More...
class	input_output_tool
	Base class for tools that take a file as input, and write the results to a file. More...
class	input_tool
	Base class for tools that take a file as input. More...
class	parallel_tool
	Base class for tools that are using multiple threads. More...
class	tool
	Base class for command line tools. as result. More...
class	xinput_output_tool
	Base class for tools that take an x number of files as input and one output file. More...
class	xinput_tool
	Base class for tools that take an x number of files as input. More...

Detailed Description

The namespace for command line tool classes.