Struct Srs 

pub struct Srs {
    pub rules: Vec<SrsRule>,
}

A String Rewriting System.

Fields

rules: Vec<SrsRule>

Implementations

impl Srs

pub fn new() -> Self

Creates an empty SRS.

pub fn add_rule(&mut self, lhs: impl Into<String>, rhs: impl Into<String>)

Adds a rule lhs → rhs.

pub fn step(&self, s: &str) -> Option<String>

One-step reduction: applies the first applicable rule at any position.

pub fn normalize(&self, s: &str, limit: usize) -> String

Fully reduce a string to its normal form (up to limit steps).

pub fn word_equivalent(&self, s: &str, t: &str, limit: usize) -> bool

Checks whether two strings are equivalent under the congruence generated by this SRS (compares normal forms).

Trait Implementations

impl Clone for Srs

fn clone(&self) -> Srs

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Srs

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

Formats the value using the given formatter.

impl Default for Srs

fn default() -> Self

Returns the “default value” for a type.