Include file:
#include "mcrl2/utilities/cache_policy.h"
mcrl2::utilities::fifo_policy
mcrl2::utilities::no_policy
mcrl2::utilities::replacement_policy
mcrl2/utilities/cache_metric.h
mcrl2/utilities/command_line_interface.h