Struct RewriteRuleDb 

pub struct RewriteRuleDb { /* private fields */ }

A database of equality rewrite rules.

Implementations

impl RewriteRuleDb

pub fn new() -> Self

Create an empty database.

pub fn add(&mut self, rule: EqRewriteRule)

Add a rule.

pub fn find_match(&self, expr: &Expr) -> Option<&EqRewriteRule>

Find the first rule that matches expr.

pub fn apply_all(&self, expr: &Expr) -> Vec<Expr>

Apply all matching rules once (returns all results).

pub fn len(&self) -> usize

Number of rules.

pub fn is_empty(&self) -> bool

Check if empty.

pub fn remove(&mut self, name: &Name)

Remove a rule by name.

Trait Implementations

impl Clone for RewriteRuleDb

fn clone(&self) -> RewriteRuleDb

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RewriteRuleDb

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

Formats the value using the given formatter.

impl Default for RewriteRuleDb

fn default() -> RewriteRuleDb

Returns the “default value” for a type.