Struct SimplRule 

pub struct SimplRule {
    pub name: String,
    pub pattern: String,
    pub replacement: String,
}

An algebraic identity / rewrite rule (stored as human-readable strings for reporting purposes; actual application is performed programmatically).

Fields

name: String

Short name identifying the rule (e.g. "add_zero").

pattern: String

The pattern this rule matches (e.g. "x + 0").

replacement: String

The replacement this rule produces (e.g. "x").

Implementations

impl SimplRule

pub fn new( name: impl Into<String>, pattern: impl Into<String>, replacement: impl Into<String>, ) -> Self

Construct a new rule with the given name, pattern, and replacement.

Trait Implementations

impl Clone for SimplRule

fn clone(&self) -> SimplRule

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SimplRule

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

Formats the value using the given formatter.