Struct AlgRule 

pub struct AlgRule {
    pub name: String,
    pub applied: usize,
}

An algebraic simplification rule: a pattern to match and a replacement.

Fields

name: String

Human-readable name of the rule.

applied: usize

Number of times this rule has been applied.

Implementations

impl AlgRule

pub fn new(name: &str) -> Self

Trait Implementations

impl Clone for AlgRule

fn clone(&self) -> AlgRule

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AlgRule

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

Formats the value using the given formatter.