Name 

Description 

 

deleteContents 

Zeroes out page counters. 

 

get 

Returns page counter for one slot. 

 

read 

Reads page counters from a file named "page". 

 

set 

Sets page counter for one slot. 

 

update 

Updates all subsequent page counters and writes them out.  

 

write 

Writes page counters out to a file named "page".