Module marking_cache 

Caches computed state snapshots at periodic intervals for efficient seek/step.

Structs

ComputedState

Computed state from replaying events.

MarkingCache

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

Constants

SNAPSHOT_INTERVAL

Number of events between cached snapshots.

Functions

apply_events

Applies events to mutable accumulator collections.

compute_state

Computes marking, enabled transitions, and in-flight transitions from events.