Struct VerificationCache 

pub struct VerificationCache {
    pub entries: HashMap<PropertyHash, CachedResult>,
}

Verification cache.

Fields

entries: HashMap<PropertyHash, CachedResult>

Implementations

impl VerificationCache

pub fn new() -> Self

pub fn store(&mut self, hash: PropertyHash, result: CachedResult)

Store a result in the cache.

pub fn lookup(&self, hash: PropertyHash) -> Option<&CachedResult>

Look up a cached result.

pub fn invalidate(&mut self, changes: &[ChangeEvent])

Invalidate entries affected by changes.

pub fn len(&self) -> usize

Number of cached entries.

pub fn is_empty(&self) -> bool

Trait Implementations

impl Clone for VerificationCache

fn clone(&self) -> VerificationCache

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for VerificationCache

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for VerificationCache

fn default() -> VerificationCache

Returns the “default value” for a type.