|
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().
1.8.4