utilities Directory Reference

Directories
	detail

Files
	basename.h
	functions to get the executable's basename.
	big_numbers.h
	This file contains a class big_natural_number that stores big positive numbers of arbitrary size. It has all common operations that one can expect on big numbers.
	bitstream.h
	block_allocator.h
	cache_metric.h
	cache_policy.h
	command_line_interface.h
	Components for command line interfaces of mCRL2 tools.
	configuration.h
	dynamiclibrary.h
	exception.h
	Exception classes for use in libraries and tools.
	execution_timer.h
	Class to obtain running times of code.
	export.h
	Defines annotations to force exports.
	file_utility.h
	add your file description here.
	fixed_size_cache.h
	hash_utility.h
	This file contains a specialisation for hashes on pairs. This is not a part of the standard, although it ought to be part. Once it has become a part of the standard, this can be removed.
	hashtable.h
	indexed_set.h
	input_input_output_tool.h
	input_input_tool.h
	add your file description here.
	input_output_output_tool.h
	input_output_tool.h
	Base class for tools that take a file as input, and write the results to a file.
	input_tool.h
	Base class for tools that take a file as input.
	logger.h
	math.h
	memory_pool.h
	mutex.h
	noncopyable.h
	number_postfix_generator.h
	add your file description here.
	parallel_tool.h
	Class that transforms a tool into a parallel tool with a –threads flag.
	parse_numbers.h
	add your file description here.
	platform.h
	power_of_two.h
	probabilistic_arbitrary_precision_fraction.h
	This file contains a class that contains labels for probabilistic transitions. These consist of a 64 bit enumerator and denominator. This library maintains precision as long as the enuemerator and denominator fit in 64 bits positive numbers. If they do not fit, rounding is applied.
	progress_meter.h
	add your file description here.
	reachable_nodes.h
	add your file description here.
	sequence.h
	Functions for sequences.
	shared_mutex.h
	shared_reference.h
	skip.h
	add your file description here.
	spinlock.h
	stack_array.h
	stopwatch.h
	tagged_pointer.h
	test_utilities.h
	Utility functions for unit testing.
	text_utility.h
	String manipulation functions.
	tool.h
	add your file description here.
	toolset_version.h
	Get the toolset revision.
	type_traits.h
	uncompiledlibrary.h
	unordered_map.h
	unordered_set.h
	unused.h
	add your file description here.
	workarounds.h
	xinput_output_tool.h
	xinput_tool.h
	Base class for tools that take an x number of files as input and one output file.