Struct CacheHitCounter

pub struct CacheHitCounter<C> { /* private fields */ }

A wrapper around a SolverCache that counts the number of cache hits and misses.

Implementations

impl<C> CacheHitCounter<C>

pub fn new(inner: C) -> Self

Wraps inner in a cache hit counter.

pub fn num_hits(&self) -> Arc<AtomicUsize>

Returns a reference to the number of cache hits. The referenced AtomicUsize will update whenever a cache hit occurs. This function only needs to be called once to obtain the reference.

pub fn num_misses(&self) -> Arc<AtomicUsize>

Returns a reference to the number of cache misses. The referenced AtomicUsize will update whenever a cache miss occurs. This function only needs to be called once to obtain the reference.

Trait Implementations

impl<C: SolverCache> SolverCache for CacheHitCounter<C>

fn get(&mut self, hash: &AssertionHash) -> Option<CacheResult>

Reads an entry from the solver cache.

fn insert(&mut self, hash: AssertionHash, result: CacheResult)

Inserts a new entry into the solver cache.