satsolver  0.17.2
Public Attributes | List of all members
_Repopagestore Struct Reference

#include <repopage.h>

Public Attributes

int pagefd
 
unsigned char * blob_store
 
Attrblobpagepages
 
unsigned int num_pages
 
unsigned int * mapped
 
unsigned int nmapped
 
unsigned int ncanmap
 
unsigned int rr_counter
 

Detailed Description

Definition at line 27 of file repopage.h.

Member Data Documentation

int _Repopagestore::pagefd
unsigned char* _Repopagestore::blob_store
Attrblobpage* _Repopagestore::pages
unsigned int _Repopagestore::num_pages

Definition at line 32 of file repopage.h.

Referenced by repopagestore_disable_paging(), and repopagestore_read_or_setup_pages().

unsigned int* _Repopagestore::mapped

Definition at line 36 of file repopage.h.

Referenced by repopagestore_free(), and repopagestore_load_page_range().

unsigned int _Repopagestore::nmapped

Definition at line 37 of file repopage.h.

unsigned int _Repopagestore::ncanmap

Definition at line 37 of file repopage.h.

Referenced by repopagestore_load_page_range().

unsigned int _Repopagestore::rr_counter

Definition at line 38 of file repopage.h.

Referenced by repopagestore_load_page_range().


The documentation for this struct was generated from the following file: