Include file:
#include "mcrl2/utilities/fixed_size_cache.h"
mcrl2::utilities::fixed_size_cache
mcrl2::utilities::function_cache
mcrl2::utilities::
::
fifo_cache
typedef for fixed_size_cache< fifo_policy< mcrl2::utilities::unordered_map< Key, T > >>
fixed_size_cache< fifo_policy< mcrl2::utilities::unordered_map< Key, T > >>
fifo_function_cache
typedef for function_cache< fifo_policy< mcrl2::utilities::unordered_map< Args, decltype(std::declval< F >()(std::declval< Args >()))> >, F, Args >
function_cache< fifo_policy< mcrl2::utilities::unordered_map< Args, decltype(std::declval< F >()(std::declval< Args >()))> >, F, Args >
mcrl2/utilities/file_utility.h
mcrl2/utilities/hash_utility.h