mCRL2
Loading...
Searching...
No Matches
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.