mcrl2::utilities::no_policy

Include file:

#include "mcrl2/utilities/cache_policy.h

class mcrl2::utilities::no_policy

A policy that replaces an arbitrary (but not random) element.

Public types

type mcrl2::utilities::no_policy::key_type

typedef for typename Map::key_type

Public member functions

void clear() override

Called whenever the underlying cache is cleared.

void inserted(const key_type&) override

Called whenever a new element has been inserted into the cache.

Map::iterator replacement_candidate(Map &map) override

Returns: An iterator to the key that should be replaced when the cache is full.

void touch(const key_type&) override

Called whenever an element was found in the cache.