mcrl2/utilities/fixed_size_cache.h

Include file:

#include "mcrl2/utilities/fixed_size_cache.h"