fixed_size_cache.h File Reference

Go to the source code of this file.

Classes
class	mcrl2::utilities::fixed_size_cache< Policy >
	A cache keeps track of key-value pairs similar to a map. The difference is that a cache has (an optional) maximum size and a policy that determines what element gets evicted when the cache is full. More...
class	mcrl2::utilities::function_cache< Policy, F, Args >
	A cache keeps track of key-value pairs similar to a map. The difference is that a cache has (an optional) maximum size and a policy that determines what element gets evicted when the cache is full. More...

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::utilities

Typedefs
template<typename Key , typename T >
using	mcrl2::utilities::fifo_cache = fixed_size_cache< fifo_policy< mcrl2::utilities::unordered_map< Key, T > > >
template<typename F , typename Args >
using	mcrl2::utilities::fifo_function_cache = function_cache< fifo_policy< mcrl2::utilities::unordered_map< Args, decltype(std::declval< F >()(std::declval< Args >()))> >, F, Args >