mcrl2/utilities/fixed_size_cache.h

Include file:

#include "mcrl2/utilities/fixed_size_cache.h"

Classes

• mcrl2::utilities::fixed_size_cache

• mcrl2::utilities::function_cache

Typedefs

type mcrl2::utilities::fifo_cache

typedef for fixed_size_cache< fifo_policy< mcrl2::utilities::unordered_map< Key, T > >>

type mcrl2::utilities::fifo_function_cache

typedef for function_cache< fifo_policy< mcrl2::utilities::unordered_map< Args, decltype(std::declval< F >()(std::declval< Args >()))> >, F, Args >