Struct MarkingCache 

pub struct MarkingCache { /* private fields */ }

Cache of computed state snapshots for efficient seek/step operations.

Implementations

impl MarkingCache

pub fn new() -> Self

Creates a new empty cache.

pub fn compute_at( &mut self, events: &[NetEvent], target_index: usize, ) -> ComputedState

Computes the state at the given event index, using cached snapshots to minimize the number of events that need to be replayed.

pub fn invalidate(&mut self)

Invalidates the cache.

Trait Implementations

impl Default for MarkingCache

fn default() -> Self

Returns the “default value” for a type.