pub fn switch_to_checkpoint(&mut self, checkpointed_page_map: &PageMap) {
        self.checkpoint = checkpointed_page_map.checkpoint.clone();
        // Also copy the base height to reflect the height of the new checkpoint.
        self.base_height = checkpointed_page_map.base_height;
        assert!(self.page_delta.is_empty());
        assert!(self.round_delta.is_empty());
        assert!(checkpointed_page_map.page_delta.is_empty());
        assert!(checkpointed_page_map.round_delta.is_empty());
        // Keep the page allocators of the states disjoint.
    }
/// Switches the checkpoint file of the current page map to the one provided
/// by the given page map. Page deltas of both page maps must be empty.
Switches the checkpoint file of the current page map to the one provided
by the given page map. Page deltas of both page maps must be empty.
Switches the checkpoint file of the current page map to the one provided by the given page map . Page deltas of both page maps must be empty .
pub fn switch_to_checkpoint(&mut self, checkpointed_page_map: &PageMap) {
        self.checkpoint = checkpointed_page_map.checkpoint.clone();
        // Also copy the base height to reflect the height of the new checkpoint.
        self.base_height = checkpointed_page_map.base_height;
        assert!(self.page_delta.is_empty());
        assert!(self.round_delta.is_empty());
        assert!(checkpointed_page_map.page_delta.is_empty());
        assert!(checkpointed_page_map.round_delta.is_empty());
        // Keep the page allocators of the states disjoint.
    }
pub fn switch_to_checkpoint ( & mut self , checkpointed_page_map : & PageMap ) { self . checkpoint = checkpointed_page_map . checkpoint . clone ( ) ; // Also copy the base height to reflect the height of the new checkpoint. self . base_height = checkpointed_page_map . base_height ; assert ! ( self page_delta is_empty ( ) ) ; assert ! ( self round_delta is_empty ( ) ) ; assert ! ( checkpointed_page_map page_delta is_empty ( ) ) ; assert ! ( checkpointed_page_map round_delta is_empty ( ) ) ; // Keep the page allocators of the states disjoint. }
Switches the checkpoint file of the current page map to the one provided
by the given page map.
Switches the checkpoint file of the current page map to the one provided by the given page map .
&mut self
checkpointed_page_map
&PageMap
&mut self
checkpointed_page_map
&PageMap