satsolver
0.17.2
|
#include <repopage.h>
Public Attributes | |
int | pagefd |
unsigned char * | blob_store |
Attrblobpage * | pages |
unsigned int | num_pages |
unsigned int * | mapped |
unsigned int | nmapped |
unsigned int | ncanmap |
unsigned int | rr_counter |
Definition at line 27 of file repopage.h.
int _Repopagestore::pagefd |
Definition at line 28 of file repopage.h.
Referenced by repopagestore_free(), repopagestore_init(), repopagestore_load_page_range(), and repopagestore_read_or_setup_pages().
unsigned char* _Repopagestore::blob_store |
Definition at line 30 of file repopage.h.
Referenced by repopagestore_free(), repopagestore_load_page_range(), and repopagestore_read_or_setup_pages().
Attrblobpage* _Repopagestore::pages |
Definition at line 31 of file repopage.h.
Referenced by repopagestore_free(), repopagestore_load_page_range(), and repopagestore_read_or_setup_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().