| SwatDB
    | 
This is the complete list of members for BufferManager, including all inherited members.
| _allocateFrame() | BufferManager | private | 
| allocatePage(FileId file_id) | BufferManager | |
| buf_map | BufferManager | private | 
| buf_map_mtx | BufferManager | private | 
| buf_pool | BufferManager | private | 
| BufferManager(DiskManager *disk_mgr) | BufferManager | |
| clearBuffer() | BufferManager | |
| clock_hand | BufferManager | private | 
| createFile(FileId file_id) | BufferManager | |
| deallocatePage(PageId page_id) | BufferManager | |
| disk_mgr | BufferManager | private | 
| flushPage(PageId page_id) | BufferManager | |
| frame_table | BufferManager | private | 
| getBufferState() | BufferManager | |
| getPage(PageId page_id) | BufferManager | |
| printAllFrames() | BufferManager | |
| printBufferState() | BufferManager | |
| printFrame(FrameId frame_id) | BufferManager | |
| printPage(PageId page_id) | BufferManager | |
| printValidFrames() | BufferManager | |
| releasePage(PageId page_id, bool dirty) | BufferManager | |
| removeFile(FileId file_id) | BufferManager | |
| setDirty(PageId page_id) | BufferManager | |
| ~BufferManager() | BufferManager | 
 1.8.13
 1.8.13