Struct ExprEquivCache 

pub struct ExprEquivCache { /* private fields */ }

A cache that records proven expression equalities.

Implementations

impl ExprEquivCache

pub fn new() -> Self

Creates an empty cache.

pub fn mark_equal(&mut self, a: u64, b: u64)

Records that a and b are equal.

pub fn mark_unequal(&mut self, a: u64, b: u64)

Records that a and b are unequal.

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

Returns Some(true) if equal, Some(false) if unequal, None if unknown.

pub fn proven_count(&self) -> usize

Returns the number of proven equalities.

Trait Implementations

impl Default for ExprEquivCache

fn default() -> Self

Returns the “default value” for a type.