Struct EtaNormalCache 

pub struct EtaNormalCache { /* private fields */ }

A cache mapping expression hashes to whether they are eta-normal.

Implementations

impl EtaNormalCache

pub fn new() -> Self

Creates an empty cache.

pub fn insert(&mut self, hash: u64, is_normal: bool)

Records that hash maps to is_normal.

pub fn query(&self, hash: u64) -> Option<bool>

Returns Some(is_normal) if cached, None otherwise.

pub fn clear(&mut self)

Invalidates all cached entries.

pub fn len(&self) -> usize

Returns the number of cached entries.

pub fn is_empty(&self) -> bool

Returns whether the collection is empty.

Trait Implementations

impl Default for EtaNormalCache

fn default() -> Self

Returns the “default value” for a type.