Struct EquivQuery 

pub struct EquivQuery<'a> { /* private fields */ }

A read-only view into an EquivManager for query-only access.

Implementations

impl<'a> EquivQuery<'a>

pub fn new(manager: &'a EquivManager) -> Self

Create a new query handle.

pub fn is_known_failure(&self, a: &Expr, b: &Expr) -> bool

Check if two expressions are in the failure cache.

pub fn num_equiv(&self) -> usize

Return the number of cached equivalences.

pub fn num_failures(&self) -> usize

Return the number of cached failures.