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