![]() |
Rosetta Utilities
2015.09
|
A queue for holding the history in which certain members of a set are promoted to the front of the queue before eventually falling off the end of the queue. More...
#include <utility/recent_history_queue.hh>
Namespaces | |
utility | |
unresizable vector whose size is known at compile time, which may be allocated on the stack, and which indexes from 1. | |
A queue for holding the history in which certain members of a set are promoted to the front of the queue before eventually falling off the end of the queue.