Public Attributes | |
std::vector< T > | elements_ |
uint64_t | timestamp_ |
size_t | id_ |
bool | dirtyFlag_ |
bool VectorFile< T, F >::Page::dirtyFlag_ |
Referenced by VectorFile< T, F >::readPage(), and VectorFile< T, F >::writePage().
std::vector<T> VectorFile< T, F >::Page::elements_ |
Referenced by VectorFile< T, F >::readPage(), and VectorFile< T, F >::writePage().
size_t VectorFile< T, F >::Page::id_ |
Referenced by VectorFile< T, F >::readPage(), and VectorFile< T, F >::writePage().
uint64_t VectorFile< T, F >::Page::timestamp_ |
Referenced by VectorFile< T, F >::readPage().