Struct InstrumentedEquivManager 

pub struct InstrumentedEquivManager { /* private fields */ }

An instrumented equivalence manager that collects statistics.

Implementations

impl InstrumentedEquivManager

pub fn new() -> Self

Create a new instrumented manager.

pub fn add_equiv(&mut self, a: &Expr, b: &Expr)

Add an equivalence.

pub fn add_failure(&mut self, a: &Expr, b: &Expr)

Add a failure.

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

Check if two expressions are equivalent.

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

Check if a failure is cached.

pub fn stats(&self) -> &EquivStats

Get the statistics.

pub fn clear(&mut self)

Clear both the manager and statistics.

Trait Implementations

impl Debug for InstrumentedEquivManager

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

Formats the value using the given formatter.

impl Default for InstrumentedEquivManager

fn default() -> InstrumentedEquivManager

Returns the “default value” for a type.