Struct SimpleRewriteSystem 

pub struct SimpleRewriteSystem {
    pub name: String,
    pub rules: Vec<(String, String)>,
    pub is_confluent: bool,
    pub is_terminating: bool,
}

Simple rewriting system with string rules (distinct from TermRewriteSystem above).

Fields

name: String

rules: Vec<(String, String)>

is_confluent: bool

is_terminating: bool

Implementations

impl SimpleRewriteSystem

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

pub fn add_rule(&mut self, lhs: &str, rhs: &str)

pub fn is_complete(&self) -> bool

pub fn normal_form_unique(&self) -> bool

pub fn critical_pairs_description(&self) -> String

Trait Implementations

impl Clone for SimpleRewriteSystem

fn clone(&self) -> SimpleRewriteSystem

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SimpleRewriteSystem

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

Formats the value using the given formatter.