// initialize the cache
void initialize_queue();
- // forced emptying of the queue. This is necessay to keep
- // bookeeping straight for the tile_cache -- which actually
- // handles all the (de)allocations
- void destroy_queue();
-
// schedule a tile for loading
void sched_tile( const SGBucket& b );